]> gcc.gnu.org Git - gcc.git/commitdiff
Merge remote-tracking branch 'origin/releases/gcc-10' into devel/omp/gcc-10
authorTobias Burnus <tobias@codesourcery.com>
Thu, 17 Sep 2020 16:55:32 +0000 (18:55 +0200)
committerTobias Burnus <tobias@codesourcery.com>
Thu, 17 Sep 2020 16:55:32 +0000 (18:55 +0200)
Merge up to d01c3def63caf59d1d156aec8d52a1540e5ffe27 (2020-09-17)


Trivial merge
This page took 0.086478 seconds and 5 git commands to generate.