]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Merge branch 'releases/gcc-12' into devel/omp/gcc-12
authorTobias Burnus <tobias@codesourcery.com>
Mon, 27 Feb 2023 16:29:19 +0000 (17:29 +0100)
committerTobias Burnus <tobias@codesourcery.com>
Mon, 27 Feb 2023 16:29:19 +0000 (17:29 +0100)
Merge up to r12-9207-gb8e496d132ec087c9db5951fea23551dcc831d8c (27th Feb 2023)

1  2 
gcc/cp/pt.cc

diff --cc gcc/cp/pt.cc
Simple merge