]> 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>
Fri, 21 Aug 2020 15:18:13 +0000 (17:18 +0200)
committerTobias Burnus <tobias@codesourcery.com>
Fri, 21 Aug 2020 15:18:13 +0000 (17:18 +0200)
Merged up to 2974c828615b240f66b208301b5a73c6a07fcb22 (2020-08-21)


Trivial merge