]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Merge branch 'releases/gcc-12' into devel/omp/gcc-12
authorTobias Burnus <tobias@codesourcery.com>
Fri, 19 Aug 2022 09:51:43 +0000 (11:51 +0200)
committerTobias Burnus <tobias@codesourcery.com>
Fri, 19 Aug 2022 09:51:43 +0000 (11:51 +0200)
Merge up to r12-8698-g2d29d7b240d9ca87cbee5d90c846694125d293af (19th Aug 2022)
This includes the 12.2.0 release and then 12.2.1 post-release version bump


Trivial merge