David Bremner <david@tethera.net> writes:
> Do I misunderstand, or was this fixed in a1d6e406f6f ?

Yes, this was fixed long ago. Thanks!

- Steven