OK, though I'd have just continued here.

No problem.  Let me close this one then.

On Wed, Jul 1, 2020 at 11:45 AM Dario Gjorgjevski <
dario.gjorgjevski@gmail.com> wrote:

> Hi João,
>
> Thanks for getting back to me.  I have identified the culprit and filed
> bug#42149 in an attempt to fix it.  Please have a look there!
>
> Best regards,
> Dario
>
> --
> dario.gjorgjevski@gmail.com :: +49 1525 8666837
> %   gpg --keyserver 'hkps://hkps.pool.sks-keyservers.net' \
> \`>     --recv-keys '744A4F0B4F1C9371'
>


-- 
João Távora