Re: Help needed with USE_GITHUB

In reply to: Michael Gmelin : "Re: Help needed with USE_GITHUB"
Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Philipp Ost <pj_at_smo.de>
Date: Sun, 12 Jun 2022 12:26:40 UTC

On 6/12/22 01:56, Michael Gmelin wrote:
> The key is correcting the typo in PORTNAME:
> 
> gingko => ginkgo

Thanks for spotting that typo. That was indeed the problem.

Cheers
Philipp