Re: [Freemint-discuss] QED error message

[Thorsten O. <ad...@th...>]

On Sonntag, 12. März 2023 08:12:55 CET Xavier via Freemint-discuss wrote:
> Can someone with sufficient permissions reopen my issue#8 on Qed github
> repo?

Done now, but normally, as the author of the issue, you should be allowed to 
do that yourself?