Date: Wed Apr 26 10:05:53 2023 +0200
Releasing GCC 13.1.
diff --git a/htdocs/buildstat.html b/htdocs/buildstat.html
index 11a8ba2d..cb27a979 100644
--- a/htdocs/buildstat.html
+++ b/htdocs/buildstat.html
@@ -13,6 +13,7 @@
These pages summarize build reports for GCC.
+- GCC 13.x
- GCC 12.x
- GCC 11.x
- GCC 10.x
diff --git a/htdocs/develop.html b/htdocs/develop.html
index 3ef9c03c..564b2cbe 100644
--- a/htdocs/develop.html
+++ b/htdocs/develop.html
@@ -696,6 +696,11 @@ stages of development, branch points, and releases: