#1001_support_Debian_mozjs.patch
#1002_support_recent_GtkHTML.patch
1003_fix_raptor_api.patch
1004_Werror_format_security.patch
1005_GSettings_port.patch
