]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Merge commit '46595ce72e5855189e3c60a140c3ca5aaddfb58c^' into HEAD
authorThomas Schwinge <tschwinge@baylibre.com>
Mon, 11 Mar 2024 21:38:33 +0000 (22:38 +0100)
committerThomas Schwinge <tschwinge@baylibre.com>
Mon, 11 Mar 2024 21:38:33 +0000 (22:38 +0100)

Trivial merge