Thanks Steven! This is fixed in the current debian/sid branch in commit a11f6c973bc0dc226d8953e3edb6333d526c3143. But I'm not overly happy with that fix as its a relatively big hammer so I will see if I can come up with something better.
Thanks Steven! This is fixed in the current debian/sid branch in commit a11f6c973bc0dc2 26d8953e3edb633 3d526c3143. But I'm not overly happy with that fix as its a relatively big hammer so I will see if I can come up with something better.