Patch ping (plugins for libstdc++ purposes)

[Andrew Pinski]

On Fri, Apr 24, 2026 at 6:17 AM Jakub Jelinek <jakub@redhat.com> wrote:
>
> Hi!
>
> I'd like to ping 3 patches:
>
> https://gcc.gnu.org/pipermail/gcc-patches/2026-March/710969.html
>   testsuite: Add C++ plugin to check for libstdc++ header uglification
>
> https://gcc.gnu.org/pipermail/gcc-patches/2026-March/711023.html
>   testsuite: Add plugin to verify bits/std.cc exports
>
> https://gcc.gnu.org/pipermail/gcc-patches/2026-April/712574.html
>   testsuite: Diagnose non-uglified names even in requires exprs

Ok from me but wait a few days for others to comment.

Thanks,
Andrew

>
> Thanks
>
>         Jakub
>