On 11/3/20 5:20 PM, Bruno Haible wrote: > This was untested, was it? No, it worked here on a gcc-10.2.1 and I'm sure I also tested on something like gcc-7.x, but as I wrote I couldn't find a gcc-5.x installation.
Sorry for the inconveniences. Have a nice day, Berny