Horst3180 4b75f33ff2 gnome-shell 3.24 fixes		2017-05-12 17:12:29 +02:00
..
3.14	gnome-shell: fix jumping switcher list subitems (#636)	2016-09-14 12:42:57 +02:00
3.16	gnome-shell: reduce dash padding (fix #561)	2016-10-14 12:57:27 +02:00
3.18	gnome-shell 3.24 fixes	2017-05-12 17:12:29 +02:00
3.20	adapt to changes in GTK+ 3.19.x	2016-02-19 11:06:17 +01:00
3.22	add build support for Gnome 3.22	2016-08-31 00:22:52 +02:00