PR other/85622
commit1019ee831513e43a1bfa595ef8a2fb7cf753a779
authorjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 3 May 2018 09:29:39 +0000 (3 09:29 +0000)
committerjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 3 May 2018 09:29:39 +0000 (3 09:29 +0000)
treeb61d4111cbc99f3dd1dce3187c6f0f02fc3fb4c6
parent202aafe6217dff3bb9ec9b0fe60d81d69dbaa7d9
PR other/85622
* gcc_release: For -f, verify contrib/gennews has the major version
pages listed and both index.html and changes.html have been updated
for the new release.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@259881 138bc75d-0d04-0410-961f-82ee72b054a4
maintainer-scripts/ChangeLog
maintainer-scripts/gcc_release