https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=818502
-- John Hughes, CalvaEDI S.A.S. -- An Esker Company <[email protected]> +33 1 4313 3131
Václav Ovsík, being much smarter than me, has tracked this bug down and
found a patch that fixes it.
