While not worth a report on its own as an FYI I added it to the other known FTFBS debian bug at: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=986488
While not worth a report on its own as an FYI I added it to the other known FTFBS debian bug at: /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 986488
https:/