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

Trivial merge