Thanks to the both of you. Can you please forward the fix to Debian too? https://wiki.ubuntu.com/Debian/Bugs has more info.
Thanks to the both of you. Can you please forward the fix to Debian too? https:/ /wiki.ubuntu. com/Debian/ Bugs has more info.