https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116809
--- Comment #13 from Mark Mentovai <mark at moxienet dot com> --- Comment 12 was a Bugzilla mid-air with comment 11. I’m not arguing against comment 11, just offering an option that worked for me. Been a while since I’ve used Bugzilla regularly, I forgot about these quaint mid-airs…
