debian-changes.patch
712322_fix_doc_build.patch
712322_use_local_schmooz.patch
do-not-regenerate-version-txi.patch
