gcc-wwwdocs branch master updated. a17bfa6d7f838b0c6e1dab01f75313ed07ac867e

gcc-wwwdocs branch master updated. a17bfa6d7f838b0c6e1dab01f75313ed07ac867e

[Jakub Jelinek]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gcc-wwwdocs".

The branch, master has been updated
       via  a17bfa6d7f838b0c6e1dab01f75313ed07ac867e (commit)
      from  a1e45104b29ff3e6ca807f172e4886c6e9822b91 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit a17bfa6d7f838b0c6e1dab01f75313ed07ac867e
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Thu Jul 27 11:08:39 2023 +0200

    Update forgotten version number.

diff --git a/htdocs/index.html b/htdocs/index.html
index bf380d68..ec5ce2a6 100644
--- a/htdocs/index.html
+++ b/htdocs/index.html
@@ -128,7 +128,7 @@ More news? Let gerald@pfeifer.com know!
 <h2>Supported Releases</h2>
 <dl>
 
-<dt><span class="version"><a href="gcc-13/">GCC 13.1</a></span>
+<dt><span class="version"><a href="gcc-13/">GCC 13.2</a></span>
   (<a href="gcc-13/changes.html">changes</a>)
 </dt><dd>
   Status:

-----------------------------------------------------------------------

Summary of changes:
 htdocs/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)


hooks/post-receive
-- 
gcc-wwwdocs