As nothing happened I reported it to Debian myself now. Bug is linked above (https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=945764)
As nothing happened I reported it to Debian myself now. /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 945764)
Bug is linked above (https:/