-
Instead of hardcoding this into two different places, add an API so that gnome-shell can fetch it. https://bugzilla.gnome.org/show_bug.cgi?id=767805
1455c402
Instead of hardcoding this into two different places, add an API so that gnome-shell can fetch it. https://bugzilla.gnome.org/show_bug.cgi?id=767805