/debian/patches/debian/

• ../
• Revert-build-Port-to-gcr4.patch
• gnome-shell-extension-prefs-Give-Debian-specific-advice.patch