Luca Bruno beb4182cc8 gnome3.gdm: fix version 3.14 for being used with gnome-shell 3.20. Closes #16063		2016-06-11 16:47:14 +02:00
..
3.18	gnome3.libcroco: 0.6.8 -> 0.6.11	2016-05-31 15:17:04 +02:00
3.20	gnome3.gdm: fix version 3.14 for being used with gnome-shell 3.20. Closes #16063	2016-06-11 16:47:14 +02:00
extensions	system-monitor gnome-shell extension: init	2016-04-15 16:19:44 -04:00