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.