#GNOME Shell ’Extensions Manager’ App Gets a Big Ol’ Update • Tux Machines ⇨ http://www.tuxmachines.org/node/160650 #GNU #Linux #TuxMachines #GTK