[Bug other/108413] copyrights for gcc 2023

[cvs-commit at gcc dot gnu.org]

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

--- Comment #7 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:

https://gcc.gnu.org/g:3e087d9ab8247fa866945f156cfe3aa6dc7039ff

commit r13-5192-g3e087d9ab8247fa866945f156cfe3aa6dc7039ff
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Mon Jan 16 11:38:33 2023 +0100

    contrib: Yet another update-copyright.py tweak [PR108413]

    Ignore __builtins.di like object.d is already ignored.

    2023-01-16  Jakub Jelinek  <jakub@redhat.com>

            PR other/108413
            * update-copyright.py (LibPhobosFilter): Add __builtins.di to
            skipped files.