(Otherwise we'd have id="15.2" twice on that page.) Pushed.
Gerald --- htdocs/gcc-15/changes.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/htdocs/gcc-15/changes.html b/htdocs/gcc-15/changes.html index f37487c30..76df40e6e 100644 --- a/htdocs/gcc-15/changes.html +++ b/htdocs/gcc-15/changes.html @@ -1623,7 +1623,7 @@ complete (that is, it is possible that some PRs that have been fixed are not listed here).</p> <!-- .................................................................. --> -<h2 id="15.2">GCC 15.3</h2> +<h2 id="15.3">GCC 15.3</h2> <p>This is the <a href="https://gcc.gnu.org/bugzilla/buglist.cgi?bug_status=RESOLVED&resolution=FIXED&target_milestone=15.3";>list of problem reports (PRs)</a> from GCC's bug tracking system that are -- 2.54.0
