I completed the procedure, and am currently waiting for alpha.gnu.org to show the tarballs before sending the announcement. These patches were needed.
Many thanks to Jim who really helped fixing the last details that prevented the release procedure to complete.
0001-build-fix-ChangeLog-generation.patch
Description: Binary data
0002-doc-fixes.patch
Description: Binary data
0003-Bison-2.5.1_rc2.patch
Description: Binary data
0004-maint-post-release-administrivia.patch
Description: Binary data
