C++ Patch ping

[Jakub Jelinek via Gcc-patches]

Hi!

I'd like to ping the:
https://gcc.gnu.org/pipermail/gcc-patches/2020-December/562099.html
patch.

Thanks

        Jakub