[committed] libstdc++: Update shared library version history in manual

[Jonathan Wakely via Gcc-patches]

Pushed to trunk.

-- >8 --

libstdc++-v3/ChangeLog:

        * doc/xml/manual/abi.xml: Add latest library versions.
        * doc/html/manual/abi.html: Regenerate.
---
 libstdc++-v3/doc/html/manual/abi.html | 4 ++--
 libstdc++-v3/doc/xml/manual/abi.xml   | 4 +++-
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/libstdc++-v3/doc/xml/manual/abi.xml 
b/libstdc++-v3/doc/xml/manual/abi.xml
index 0153395f477..008fb66e5b1 100644
--- a/libstdc++-v3/doc/xml/manual/abi.xml
+++ b/libstdc++-v3/doc/xml/manual/abi.xml
@@ -273,6 +273,8 @@ compatible.
     <listitem><para>GCC 9.3.0: libstdc++.so.6.0.28</para></listitem>
     <listitem><para>GCC 10.1.0: libstdc++.so.6.0.28</para></listitem>
     <listitem><para>GCC 11.1.0: libstdc++.so.6.0.29</para></listitem>
+    <listitem><para>GCC 12.1.0: libstdc++.so.6.0.30</para></listitem>
+    <listitem><para>GCC 13.1.0: libstdc++.so.6.0.31</para></listitem>
     </itemizedlist>
     <para>
       Note 1: Error should be libstdc++.so.3.0.3.
@@ -349,7 +351,7 @@ compatible.
     <listitem><para>GCC 10.1.0: GLIBCXX_3.4.28, CXXABI_1.3.12</para></listitem>
     <listitem><para>GCC 11.1.0: GLIBCXX_3.4.29, CXXABI_1.3.13</para></listitem>
     <listitem><para>GCC 12.1.0: GLIBCXX_3.4.30, CXXABI_1.3.13</para></listitem>
-    <listitem><para>GCC 13.1.0: GLIBCXX_3.4.31, CXXABI_1.3.13</para></listitem>
+    <listitem><para>GCC 13.1.0: GLIBCXX_3.4.31, CXXABI_1.3.14</para></listitem>
 
     </itemizedlist>
     </listitem>
-- 
2.39.0