]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
projects / thirdparty / gcc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ec26db5 7439f40)
Merge commit '7439f40dc17f47480620beadf5b2f5784b59aefe' into HEAD [#1543]
authorThomas Schwinge <tschwinge@baylibre.com>
Mon, 11 Mar 2024 00:05:15 +0000 (01:05 +0100)
committerThomas Schwinge <tschwinge@baylibre.com>
Mon, 11 Mar 2024 00:05:15 +0000 (01:05 +0100)

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