[rtems commit] Merge branch 'master' of ssh://dispatch.rtems.org/data/git/ rtems

[Joel Sherrill]

Module:    rtems
Branch:    master
Commit:    2557a43a4e5ebd8ca0f89c5b3a84623438a59fa2
Changeset: http://git.rtems.org/rtems/commit/?id=2557a43a4e5ebd8ca0f89c5b3a84623438a59fa2

Author:    Joel Sherrill <joel at rtems.org>
Date:      Mon Feb 10 11:36:42 2020 -0600

Merge branch 'master' of ssh://dispatch.rtems.org/data/git/rtems

---