Marius Bakke <marius@gnu.org> writes:

[…]

> I suspect this was fixed by 37b98e8cca3244067071bc6e382b06861457a459,
> can you confirm?

Yes, closing the issue.