]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Merge commit '3d6dbb6fc5d1d14bf36a879b6f4a00ae91090a63' into HEAD
authorThomas Schwinge <thomas@codesourcery.com>
Wed, 14 Dec 2022 16:27:01 +0000 (17:27 +0100)
committerThomas Schwinge <thomas_schwinge@mentor.com>
Wed, 14 Dec 2022 16:29:17 +0000 (17:29 +0100)

Trivial merge