]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
projects / thirdparty / gcc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0d0de2c 3b89428)
Merge commit '3b89428c0d5710c8093055b3d92c543888759f93' into HEAD
authorThomas Schwinge <thomas@codesourcery.com>
Wed, 14 Dec 2022 16:30:07 +0000 (17:30 +0100)
committerThomas Schwinge <thomas_schwinge@mentor.com>
Wed, 14 Dec 2022 16:30:30 +0000 (17:30 +0100)

Trivial merge
Mirror of https://gcc.gnu.org/git/gcc.git