[gcc r12-9535] Daily bump.

[GCC Administrator]

https://gcc.gnu.org/g:ecf9ea59d8fcec48da6043c07db3f25b3151ab84

commit r12-9535-gecf9ea59d8fcec48da6043c07db3f25b3151ab84
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Mon May 15 00:21:20 2023 +0000

    Daily bump.

Diff:
---
 gcc/DATESTAMP | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 1d22f342aef..0bf2258d634 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20230514
+20230515