]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Merge branch 'releases/gcc-12' into devel/omp/gcc-12
authorTobias Burnus <tobias@codesourcery.com>
Fri, 9 Dec 2022 08:38:25 +0000 (09:38 +0100)
committerTobias Burnus <tobias@codesourcery.com>
Fri, 9 Dec 2022 08:38:25 +0000 (09:38 +0100)
Merge up to r12-8964-g58791f4db575ad9f952025c5eac4cc46e5c27019 (9th Dec 2022)


Trivial merge