]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
Merge remote-tracking branch 'origin/releases/gcc-10' into devel/omp/gcc-10
authorTobias Burnus <tobias@codesourcery.com>
Tue, 15 Sep 2020 19:46:16 +0000 (21:46 +0200)
committerTobias Burnus <tobias@codesourcery.com>
Tue, 15 Sep 2020 19:46:16 +0000 (21:46 +0200)
Merge up to 49b3d88e9dc9314814d416dcebc25ca028576c30 (2020-09-15)


Trivial merge