Control: merge 806192 806204 Hi Arthur!
I already filed this as #806192 [1], thus merging both bug report. Please always check existing bug reports before filing a new one to avoid duplicates. Cheers, Adrian > [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=806192 -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer - glaub...@debian.org `. `' Freie Universitaet Berlin - glaub...@physik.fu-berlin.de `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
