]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Merge commit 'f3f2065910a02b0099d3d5f2ad3389d0e479c782' into HEAD [#2926]
authorThomas Schwinge <tschwinge@baylibre.com>
Mon, 25 Mar 2024 07:19:46 +0000 (08:19 +0100)
committerThomas Schwinge <tschwinge@baylibre.com>
Mon, 25 Mar 2024 07:19:46 +0000 (08:19 +0100)

Trivial merge