On Thu, Oct 15, 2020 at 12:57 PM Nils Goroll <nils.goroll at uplex.de> wrote: > > On 15/10/2020 12:29, Dridi Boukelmoune wrote: > > [1] unless someone wants to fix GCC instead :-P > > at least I tried to make them aware > > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96832#c4 Thanks!