]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Merge branch 'releases/gcc-12' into devel/omp/gcc-12
authorTobias Burnus <tobias@codesourcery.com>
Thu, 2 Mar 2023 15:32:12 +0000 (16:32 +0100)
committerTobias Burnus <tobias@codesourcery.com>
Thu, 2 Mar 2023 15:32:12 +0000 (16:32 +0100)
Merge up to r12-9210-gb3f9d2cf7dd5488800f867a6aae076465ecb391b (2nd Mar 2023)


Trivial merge