Bug#825685: (no subject)

[Pablo Barciela]

Urmas, the bug you mentioned was already reported here:

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=826261