[gcc r13-7995] Daily bump.

[GCC Administrator]

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

commit r13-7995-gf32c132aafdc05a17b67aa6c6eb85000efab31ac
Author: GCC Administrator <gccadmin@gcc.gnu.org>
Date:   Tue Oct 31 00:21:12 2023 +0000

    Daily bump.

Diff:
---
 gcc/DATESTAMP          | 2 +-
 libstdc++-v3/ChangeLog | 6 ++++++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP
index d2cdbe13a4d5..e7de5e82aa57 100644
--- a/gcc/DATESTAMP
+++ b/gcc/DATESTAMP
@@ -1 +1 @@
-20231030
+20231031
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 400a36a04ed8..fed4927985f9 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,3 +1,9 @@
+2023-10-30  François Dumont  <fdumont@gcc.gnu.org>
+
+	* src/experimental/contract.cc
+	[_GLIBCXX_INLINE_VERSION](handle_contract_violation): Provide symbol
+	without version namespace decoration for gcc.
+
 2023-10-25  Jonathan Wakely  <jwakely@redhat.com>
 
 	Backported from master: