Your bug report is correct, but it is really just a more specific
 example of the problem already reported in #863960:

    https://bugs.debian.org/863960

Steve
-- 
https://steve.fi/

Reply via email to