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

[Michael Meissner]

https://gcc.gnu.org/g:8a41a7c6b3a8f2fdc4d48b88fa9d952266b16c1e

commit 8a41a7c6b3a8f2fdc4d48b88fa9d952266b16c1e
Merge: f819f45e0f3 ac198ff28b6
Author: Michael Meissner <2019-02-12  Michael Meissner  meissner@linux.ibm.com>
Date:   Wed Mar 18 13:18:48 2020 -0400

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

Diff: