]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Merge branch 'releases/gcc-12' into devel/omp/gcc-12
authorTobias Burnus <tobias@codesourcery.com>
Mon, 16 Jan 2023 11:26:42 +0000 (12:26 +0100)
committerTobias Burnus <tobias@codesourcery.com>
Mon, 16 Jan 2023 11:26:42 +0000 (12:26 +0100)
Merge up to r12-9046-gd369eb486bdc720e4c50563226dbbb11a0226b5d (16th Jan 2023)


Trivial merge