Nicolas Bértolo via Gcc-patches Mon, 15 Jun 2020 17:16:16 -0700
> Thanks, pushed to git master.
Thanks, Nicolas.