Results 2 comments of Miroslav Gajdoš

At least add setting to add extensions manually.

Going to v19.8.6 and trying again to v20 solved the issue for me. I believe my installation also passed. I will try on my company's repo on Monday. It has...