[gcc(refs/users/meissner/heads/work001)] Merge commit 'refs/users/meissner/heads/work001' of git+ssh://gcc.gnu.org/git/gcc into me/work001

[Michael Meissner]

https://gcc.gnu.org/g:35c80cfff3d482e7d61a8a0a49be61e1bd93807b

commit 35c80cfff3d482e7d61a8a0a49be61e1bd93807b
Merge: 8ab796b280f 93a91565d79
Author: Michael Meissner <Michael Miessner meissner@linux.ibm.com>
Date:   Tue Jun 2 12:43:48 2020 -0400

    Merge commit 'refs/users/meissner/heads/work001' of git+ssh://gcc.gnu.org/git/gcc into me/work001

Diff: