11 sep. 2020 kl. 13.54 skrev Lars Ingebrigtsen <
[hidden email]>:
> Ah, sorry, I thought I had tested that bit too, but I must have done
> something wrong...
Well, you dug up an old bug and turned our attention to it, so in a sense you did bring about the resolution!
Patch pushed and bug closed (again).