]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
projects / thirdparty / gcc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 2b9957c cc87aae)
Merge branch 'releases/gcc-13' into devel/omp/gcc-13
authorTobias Burnus <tobias@codesourcery.com>
Mon, 16 Oct 2023 16:19:50 +0000 (18:19 +0200)
committerTobias Burnus <tobias@codesourcery.com>
Mon, 16 Oct 2023 16:19:50 +0000 (18:19 +0200)
Merge up to r13-7954-gcc87aaeceea58389b681e3a6a63f95e54f2b59cd (16th Oct 2023)


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