]> git.ipfire.org Git - thirdparty/gcc.git/commit
Merge branch 'releases/gcc-13' into devel/omp/gcc-13
authorTobias Burnus <tobias@codesourcery.com>
Thu, 26 Oct 2023 09:19:57 +0000 (11:19 +0200)
committerTobias Burnus <tobias@codesourcery.com>
Thu, 26 Oct 2023 09:19:57 +0000 (11:19 +0200)
commitad85577c401dfd38d792d9db9b11102f7ad8d4c7
tree05edd32f93b3d731c29083d1e656895076fd2d6f
parenta8b1fb51ae55dcf8bf24fad1986e5280e362c873
parent319e887bdddfb8b9244f9310a54c1f08b7e8f0e8
Merge branch 'releases/gcc-13' into devel/omp/gcc-13

Merge up to r13-7985-g319e887bdddfb8b9244f9310a54c1f08b7e8f0e8 (26th Oct 2023)
gcc/c-family/c-pragma.cc
gcc/doc/extend.texi
gcc/opts.cc