[Bug other/108413] copyrights for gcc 2023

[jakub at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108413

--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
I've worked around the GmcOptions.c case with a local hack and committed
the copyright updates in r13-5197