Hi Bastien! Since all these aforementioned issues have already a patch available, these bug reports should be tagged as "patch" so they don't show up in the list of RC bugs anymore for which a patch doesn't exist yet [1].
This reduces the noise on the list and helps anyone who wants to work on fixing RC bugs for the upcoming Debian Stretch release. Thanks, Adrian > [1] https://udd.debian.org/bugs/bugs/?release=stretch_and_sid&patch=ign&merged=ign&done=ign&fnewerval=7&rc=1&sortby=id&sorto=asc&ctags=1&ctags=1&cdeferred=1#results -- .''`. 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