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.
