Thanks for the patch, Ivan! I've uploaded it to Trusty the development release of Ubuntu. It'd be great if you could forward it to debian, since they would also benefit from the patch.
Thanks for the patch, Ivan! I've uploaded it to Trusty the development release of Ubuntu. It'd be great if you could forward it to debian, since they would also benefit from the patch.