It'd be great if somebody could look into merging 3.8.2 from Debian. In the meantime, I'm happy to upload this fix.
It'd be great if somebody could look into merging 3.8.2 from Debian. In the meantime, I'm happy to upload this fix.