From: GCC Administrator <gccadmin@gcc.gnu.org>
Date: Tue, 31 Oct 2023 00:21:12 +0000 (+0000)
Subject: Daily bump.
X-Git-Tag: releases/gcc-13.3.0~786
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f32c132aafdc05a17b67aa6c6eb85000efab31ac;p=thirdparty%2Fgcc.git

Daily bump.
---

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: