[gcc r13-8137] Daily bump.

[GCC Administrator]

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

commit r13-8137-ga154ae8a07264e4d7091657107c972f3df5e6f82
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Sat Dec 9 00:21:21 2023 +0000

    Daily bump.

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

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index 9e296399fe4..98957cde41b 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20231208
+20231209