The Ubuntu Desktop Team is running a short survey about some popular GNOME Shell extensions.
My understanding is that the survey was intended to run for one week, so today is about the last day to complete the survey if you haven't already: http://www.omgubuntu.co.uk/2017/05/ubuntu-desktop-gnome-extensions-survey-1710 Thanks, Jeremy Bicha -- Ubuntu-GNOME mailing list Ubuntu-GNOME@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-gnome