Re: blacklisted after announce on GNU cauldron ?

[Olivier Hainque]

> On 23 Apr 2020, at 19:39, Jonathan Wakely <jwakely....@gmail.com> wrote:

> Patch submitted for approval now:
> https://gcc.gnu.org/pipermail/gcc-patches/2020-April/544461.html

Thanks Jonathan :)