FWIW, I applied the debdiff in #7 and built it locally (after disabling a few tests that fail in my schroot). This did not fix the problem. I think this is a minor enough bug and the fact that it's fixed in Debian (and will eventually make its way to Ubuntu) makes it not really worth patching.
FWIW, I applied the debdiff in #7 and built it locally (after disabling a few tests that fail in my schroot). This did not fix the problem. I think this is a minor enough bug and the fact that it's fixed in Debian (and will eventually make its way to Ubuntu) makes it not really worth patching.