On Mon, 10 Oct 2022 at 19:06, Olivier Hainque via Libstdc++ <libstd...@gcc.gnu.org> wrote: > > Sorry, I forgot to cc libstdc++ on > > https://gcc.gnu.org/pipermail/gcc-patches/2022-October/603182.html > > which includes a regen of libstdc++-v3/configure after an update > libtool.m4.
OK, thanks for the heads up.