Thanks for reporting!

This is a duplicate of issue reported in
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=863675#89 (and used
to reopen that issue) and has been fixed and uploaded about 1 hour ago
:)

Reply via email to