]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Merge commit '83ffe9cde7fe0b4deb0d1b54175fd9b19c38179c^' into HEAD
authorThomas Schwinge <thomas@codesourcery.com>
Sun, 12 Feb 2023 15:35:44 +0000 (16:35 +0100)
committerThomas Schwinge <thomas@codesourcery.com>
Sun, 12 Feb 2023 15:35:44 +0000 (16:35 +0100)
1  2 
gcc/config.gcc

diff --cc gcc/config.gcc
Simple merge