]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Merge commit '8a30775b0d3037123ee540f7b65a736ad49e05ce^' into HEAD
authorThomas Schwinge <tschwinge@baylibre.com>
Sun, 10 Mar 2024 22:38:38 +0000 (23:38 +0100)
committerThomas Schwinge <tschwinge@baylibre.com>
Sun, 10 Mar 2024 22:38:38 +0000 (23:38 +0100)

Trivial merge