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. Thank you! I keep looking at commits in master, but let us know, please. -- Best regards, Andrew Tropin