https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63495
--- Comment #6 from Paul Eggert <eggert at gnu dot org> --- That was fast! Thank you.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63495
--- Comment #6 from Paul Eggert <eggert at gnu dot org> --- That was fast! Thank you.