Forwarded PRs: #1

Closed
autogits-devel wants to merge 1 commits from PR_libfabric#1 into master