]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Merge commit 'f5a805d82902fe2d6e0a7af8c0e6519f9d25a8f3' into HEAD
authorThomas Schwinge <tschwinge@baylibre.com>
Wed, 10 Apr 2024 09:07:18 +0000 (11:07 +0200)
committerThomas Schwinge <tschwinge@baylibre.com>
Wed, 10 Apr 2024 09:07:18 +0000 (11:07 +0200)

Trivial merge