]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
projects / thirdparty / gcc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 3a8c8d0 e165214)
Merge commit '95dc11475dac06b5eecd904079de8aa94827a36a^' into HEAD
authorThomas Schwinge <thomas@codesourcery.com>
Sun, 12 Feb 2023 15:20:58 +0000 (16:20 +0100)
committerThomas Schwinge <thomas@codesourcery.com>
Sun, 12 Feb 2023 15:20:58 +0000 (16:20 +0100)

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