Hi,
Yesterday I reported this bug to Debian, and today I've proposed a patch
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=886807
Hi,
Yesterday I reported this bug to Debian, and today I've proposed a patch
https:/ /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 886807