]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Merge commit '8fc4e6c397e1ce64bec6f9fed148950821cc79e7^' into HEAD
authorThomas Schwinge <tschwinge@baylibre.com>
Tue, 19 Mar 2024 15:45:27 +0000 (16:45 +0100)
committerThomas Schwinge <tschwinge@baylibre.com>
Tue, 19 Mar 2024 15:45:27 +0000 (16:45 +0100)

Trivial merge