[Bug other/109600] 13.0.1-0.15.fc39: missing #include

[redi at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109600

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           See Also|                            |https://bugzilla.redhat.com
                   |                            |/show_bug.cgi?id=2188608

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Don't bother, it's already fixed:
https://bugzilla.redhat.com/show_bug.cgi?id=2188608