the bug is now fixed in debian https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=741015 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=741018
the bug is now fixed in debian /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 741015 /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 741018
https:/
https:/