...plus one I had missed. Gerald
Index: gcc-7/changes.html =================================================================== RCS file: /cvs/gcc/wwwdocs/htdocs/gcc-7/changes.html,v retrieving revision 1.106 diff -u -r1.106 changes.html --- gcc-7/changes.html 10 Jun 2018 14:12:46 -0000 1.106 +++ gcc-7/changes.html 10 Jun 2018 14:17:44 -0000 @@ -1262,7 +1262,7 @@ </li> </ul> -<h2 id="7.1">GCC 7.1</h2> +<h2 id="GCC7.1">GCC 7.1</h2> <p>This is the <a href="https://gcc.gnu.org/bugzilla/buglist.cgi?bug_status=RESOLVED&resolution=FIXED&target_milestone=7.0">list of problem reports (PRs)</a> from GCC's bug tracking system that are