https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117407
Christophe Lyon <clyon at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |clyon at gcc dot gnu.org
--- Comment #7 from Christophe Lyon <clyon at gcc dot gnu.org> ---
This was also flagged by Linaro precommit CI, so should have been fixed before
pushing.
