https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88429
jamespharvey20 at gmail dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jamespharvey20 at gmail dot com
--- Comment #5 from jamespharvey20 at gmail dot com ---
The fix causes PR ada/88591
"make ada-install-{common,info}" fails.
