https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61439
krichter at posteo dot de changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |krichter at posteo dot de
--- Comment #6 from krichter at posteo dot de ---
Has this been reviewed/merged yet? It'd be really appreciated.
Pinging based on [GCC patch tracking
infos](https://gcc.gnu.org/wiki/GCC_Patch_Tracking) which say it's fine to
annoy maintainers :)
