Hello Martin: The patch you mention is already applied upstream as of June 17th, so included in my up-to-date local git repo. This means bug is still present in my experience.
Thanks,
--
Raúl Sánchez Siles
----->Proud Debian user<-----
Linux registered user #416098
signature.asc
Description: This is a digitally signed message part.

