Patch ping (plugins for libstdc++ purposes)

[Jonathan Wakely]

On Fri, 24 Apr 2026 at 14:16, 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

I can't approve them, but the plugin has already been very useful and
I'd love to see those committed.