Dear Maintainer,

please see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1042610
for a proposed patch.

Kind Regards

Reply via email to