https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112315
--- Comment #2 from mccannd at uk dot ibm.com --- OK, thanks. I had just started using Fedora 39. I assume this bug can be closed then.
mccannd at uk dot ibm.com via Gcc-bugs Tue, 31 Oct 2023 08:35:27 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112315
--- Comment #2 from mccannd at uk dot ibm.com --- OK, thanks. I had just started using Fedora 39. I assume this bug can be closed then.