01_menu_category.patch
fix-defs.patch
debian/app-Give-Debian-specific-advice-regarding-gnome-extension.patch
