I have also reported a bug / submitted the patch to Debian upstream via :
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=867181
- Eric
I have also reported a bug / submitted the patch to Debian upstream via :
https:/ /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 867181
- Eric