Also:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=725284 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=779412
Also:
https:/ /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 725284 /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 779412
https:/