]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Merge commit '1aee5d2ace9ea8f35baf5b18e36caf44fe018ea3' into HEAD [#1408]
authorThomas Schwinge <tschwinge@baylibre.com>
Sun, 10 Mar 2024 23:45:13 +0000 (00:45 +0100)
committerThomas Schwinge <tschwinge@baylibre.com>
Sun, 10 Mar 2024 23:45:13 +0000 (00:45 +0100)

Trivial merge