* Dominic Hargreaves [05/12/2017 16:58] : > > Thanks; I've filed a bug about this: > <https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=883606> I've done the same thing for Fedora: https://bugzilla.redhat.com/show_bug.cgi?id=1521155 Emmanuel