../ 3.22.3-CVE-2017-8288.patch 29-Apr-2017 17:50 1501 gnome-shell-3.12-bluetooth-flag.patch 09-Aug-2015 00:38 1894 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