debian/gnome-shell-extension-prefs-Give-Debian-specific-advice.patch
debian/Revert-tests-Fail-on-warnings-too.patch
