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

Trivial merge