debian-changes-3b1-3.1 712322_fix_doc_build.patch 712322_use_local_schmooz.patch