Re: Help needed with USE_GITHUB

[Philipp Ost]

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