remove_race_condition_texinfo_tmpfile.diff
specify-texinfo-encoding.diff
no-gnatmake-project-support.diff
