At 2025-04-21T19:08:25-0500, Dave Kemper wrote:
> FWIW, in case you want to update the ChangeLog entry, I also
> encountered this failure on gcc 9.3.0. (This commit showed up just as
> I was about to submit a bug report.)
Thanks, Dave. No idea why it didn't fail for me using GCC 10.2.1 and a
pil
FWIW, in case you want to update the ChangeLog entry, I also
encountered this failure on gcc 9.3.0. (This commit showed up just as
I was about to submit a bug report.)
On Sun, Apr 20, 2025 at 8:54 PM Ingo Schwarze wrote:
> So just deleting it would still be the best option even now.
A better option is deprecating it
(http://savannah.gnu.org/bugs/?64772). It could emit a warning that
it's unmaintained. But, unlike deletion, this would allow users who
find it u
