]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Merge branch 'releases/gcc-12' into devel/omp/gcc-12
authorTobias Burnus <tobias@codesourcery.com>
Thu, 19 Jan 2023 20:23:08 +0000 (21:23 +0100)
committerTobias Burnus <tobias@codesourcery.com>
Thu, 19 Jan 2023 20:23:08 +0000 (21:23 +0100)
Merge up to r12-9052-g61ef24af3ce8ec9c5eb65770f8047d98f42a93bf (19th Jan 2023)


Trivial merge