Hi, Jan Wielkiewicz <tona_kosmicznego_smie...@interia.pl> skribis:
> Dnia 2020-08-05, o godz. 22:33:14 > Ludovic Courtès <l...@gnu.org> napisał(a): > >> My bad, I believe this is fixed by >> 05f3d34094b23dc9612ff6641a0257bc4f7dcd12. >> >> Thanks for reporting the issue! >> >> Is this bug closed, though? >> >> Ludo’. > > I can close it if needed. Sure, if you think the other aspects mentioned in this thread are fixed, please go ahead! Thanks, Ludo’.