]> gcc.gnu.org Git - gcc.git/commitdiff
Merge commit 'ae113080a9f98e807db239f3ad2157c64324542f' into HEAD
authorThomas Schwinge <thomas@codesourcery.com>
Tue, 21 Feb 2023 19:47:19 +0000 (20:47 +0100)
committerThomas Schwinge <thomas@codesourcery.com>
Tue, 21 Feb 2023 19:47:19 +0000 (20:47 +0100)
1  2 
gcc/config.gcc

diff --cc gcc/config.gcc
Simple merge
This page took 0.142803 seconds and 5 git commands to generate.