Bug#791477: workaround reloading gnome

Thibaut MADELAINE madelaine.thibaut at gmail.com
Mon Jun 12 16:08:27 UTC 2017


I had the same issue.
A gnome reload (Alt+F2) solved my problem.



More information about the pkg-gnome-maintainers mailing list