../ gnome-shell-3.12-bluetooth-flag.patch 09-Aug-2015 00:38 1894 gnome-shell-3.14.0-defaults.patch 09-Aug-2015 00:38 1192 gnome-shell-3.22.0-defaults.patch 12-Nov-2016 00:33 1228 gnome-shell-3.22.0-gir-build-fix.patch 12-Nov-2016 00:33 882