]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
projects / thirdparty / gcc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 31fed21 d0f8cb1)
Merge commit '8534cc772def8142379c0e72ab6392d40f3f60f6^' into HEAD
authorThomas Schwinge <tschwinge@baylibre.com>
Wed, 10 Apr 2024 09:05:29 +0000 (11:05 +0200)
committerThomas Schwinge <tschwinge@baylibre.com>
Wed, 10 Apr 2024 09:05:29 +0000 (11:05 +0200)

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