On 05/24/2017 11:30 AM, Marius Gedminas wrote:
> On Tue, May 23, 2017 at 11:24:01AM -0400, SDA wrote:
>> On Mon, May 22, 2017 at 02:54:17PM -0400, Paul Smith wrote:
>>> Some of those are slightly useful.  However, here are the couple of
>>> shell extensions I always install and could not live without:

While on the subject of extensions, please endorse getting this fixed
https://bugzilla.gnome.org/show_bug.cgi?id=724076 Thanks

-- 
Ubuntu-GNOME mailing list
Ubuntu-GNOME@lists.ubuntu.com
Modify settings or unsubscribe at: 
https://lists.ubuntu.com/mailman/listinfo/ubuntu-gnome

Reply via email to