Ubuntu Desktop's GNOME Shell extensions survey ending soon

Wed May 24 10:57:40 UTC 2017

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