01_menu_category.patch
fix-defs.patch
Restore-compatibility-with-gnome-settings-daemon-3.38.x.patch
debian/app-Give-Debian-specific-advice-regarding-gnome-extension.patch
