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

Trivial merge