]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
projects / thirdparty / gcc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 6d4f8ef 982629b)
Merge commit 'f80f540e394e87ac70349bad109bfc4b465c7c98^' into HEAD
authorThomas Schwinge <thomas@codesourcery.com>
Sun, 12 Feb 2023 15:27:19 +0000 (16:27 +0100)
committerThomas Schwinge <thomas@codesourcery.com>
Sun, 12 Feb 2023 15:27:19 +0000 (16:27 +0100)

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