https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103100
--- Comment #28 from Hans-Peter Nilsson <hp at gcc dot gnu.org> --- (In reply to GCC Commits from comment #27) > The releases/gcc-13 branch has been updated by Wilco Dijkstra > <wi...@gcc.gnu.org>: Thanks!