]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
projects / thirdparty / gcc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 89dd839 8c57e80)
Merge branch 'releases/gcc-12' into devel/omp/gcc-12
authorTobias Burnus <tobias@codesourcery.com>
Wed, 13 Jul 2022 09:09:35 +0000 (11:09 +0200)
committerTobias Burnus <tobias@codesourcery.com>
Wed, 13 Jul 2022 09:09:35 +0000 (11:09 +0200)
Merge up to r12-8566-g8c57e8005db4864ecfba791d788f0b1dc6110f3b (13th July 2022)


Trivial merge
Mirror of https://gcc.gnu.org/git/gcc.git