https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123412
--- Comment #2 from Hans-Peter Nilsson <hp at gcc dot gnu.org> --- I couldn't find the corresponding message to gcc-patches@, looking through posts from May to September, inclusive. Maybe it was sent with another subject?
