On 2022-03-15 21:18, Po Lu wrote: > Lars Ingebrigtsen writes: > >> Nobody had any comments in a month, and I've just skimmed this bug >> report -- but was this fixed in 61a038bec0fe, or was that another >> problem? > > This is probably another problem, I'll fix it soon and close the bug. > Thanks for bringing it up. Hi Po, Can you take a look at this issue, please? It shouldn't take long. -- Best regards, Andrew Tropin