https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84889
--- Comment #25 from David Malcolm <dmalcolm at gcc dot gnu.org> --- (In reply to David Malcolm from comment #0) [...snip...] > We might want to revisit our current colorization choices. Done, in https://gcc.gnu.org/pipermail/gcc-patches/2024-July/657201.html Screenshots can be see at: https://gcc.gnu.org/pipermail/gcc-patches/2024-July/657203.html [...snip...]
