> This was fixed in an upload done slightly before the bug was filed, though > with > a different patch; I'll probably replace it with this one in a subsequent > upload.
Great, thank you! Would you like a merge request, or I could even push directly to salsa, if you prefer?