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

Trivial merge