Bug#823770: Duplicate?

[Pietro Battiston]

Might be a(nother) dup of
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=770153

(which would be good news, since there is a fix)

Pietro