On Fri, 28 Apr 2023 at 23:02, Jakub Jelinek <jakub@redhat.com> wrote:

> On Fri, Apr 28, 2023 at 09:35:49AM +0100, Jonathan Wakely wrote:
> > Yes, for both, thanks for the fix.
> >
> > After it lands on the gcc-13 branch I'll also update the manual with:
> >
> > --- a/libstdc++-v3/doc/xml/manual/abi.xml
> > +++ b/libstdc++-v3/doc/xml/manual/abi.xml
> > @@ -275,6 +275,7 @@ compatible.
> >     <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>
> > +    <listitem><para>GCC 13.2.0: libstdc++.so.6.0.32</para></listitem>
> >     </itemizedlist>
> >     <para>
> >       Note 1: Error should be libstdc++.so.3.0.3.
>
> Don't you need to change later parts too?
> I mean adding
>   GCC 13.2.0: GLIBCXX_3.4.32, CXXABI_1.3.14
> entry.
>

Yep, and regenerate the HTML versions.