Le lundi 08 février 2016 à 10:06 +0100, to...@tuxteam.de a écrit : > It looks more a GNOME thing to me -- but I guess the Debian GNOME > maintainers are able to cope with it (plus your report would be > targetting the specific version you're using). So Debian seems > to me the first choice here.
Thanks for the reply, I reported it to the Debian GNOME maintainer.
