]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Merge branch 'releases/gcc-12' into devel/omp/gcc-12
authorTobias Burnus <tobias@codesourcery.com>
Thu, 27 Oct 2022 11:44:50 +0000 (13:44 +0200)
committerTobias Burnus <tobias@codesourcery.com>
Thu, 27 Oct 2022 11:44:50 +0000 (13:44 +0200)
Merge up to r12-8872-gca0220d42e075194ca1341c98a0a9a9f3fd1c719 (27th Oct 2022)


Trivial merge