https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111677
--- Comment #2 from Gianfranco <costamagnagianfranco at yahoo dot it> --- Thanks, Debian syncs the branch fixes from time to time, last time was up to * Update to git 20230913 from the gcc-13 branch. Indeed, I requested to sync again sources. thanks!
