On Sep 3, 2024, at 11:44 PM, Alexandre Oliva <oliva@adacore.com> wrote: > > Here's an updated and refreshed version that gets trunk built with > --disable-hosted-libstdcxx on x86_64-linux-gnu to not get any spurious > fails during in-tree testing. Also bootstrapped on hosted > x86_64-linux-gnu. Ok to install? Ok.