I can't upload to Ubuntu just yet, but I've also submitted my proposed fix back to Debian so that might be where the fix actually happens.
I can't upload to Ubuntu just yet, but I've also submitted my proposed fix back to Debian so that might be where the fix actually happens.