]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Merge branch 'releases/gcc-12' into devel/omp/gcc-12
authorTobias Burnus <tobias@codesourcery.com>
Mon, 5 Sep 2022 07:41:36 +0000 (09:41 +0200)
committerTobias Burnus <tobias@codesourcery.com>
Mon, 5 Sep 2022 07:41:36 +0000 (09:41 +0200)
Merge up to r12-8742-gf4f72a25a9dfb5afbff8853bd51c1a891139dfd0 (5th Sep 2022)


Trivial merge