../ gnome-shell-3.12-bluetooth-flag.patch 09-Aug-2015 00:38 1894 gnome-shell-3.14.0-bluetooth-gold.patch 09-Aug-2015 00:38 1217 gnome-shell-3.14.0-defaults.patch 09-Aug-2015 00:38 1192 gnome-shell-3.18-fix-crash.patch 14-Mar-2016 23:16 1082