Merge pull request #31532 from tchaikov/wip-42742

author Kefu Chai <kchai@redhat.com>

Sat, 16 Nov 2019 17:16:29 +0000 (01:16 +0800)

committer GitHub <noreply@github.com>

Sat, 16 Nov 2019 17:16:29 +0000 (01:16 +0800)
author Kefu Chai <kchai@redhat.com>
Sat, 16 Nov 2019 17:16:29 +0000 (01:16 +0800)
committer GitHub <noreply@github.com>
Sat, 16 Nov 2019 17:16:29 +0000 (01:16 +0800)
diff --cc src/msg/async/rdma/Infiniband.cc
Simple merge
diff --cc src/msg/async/rdma/Infiniband.h
Simple merge
author	Kefu Chai <kchai@redhat.com>
	Sat, 16 Nov 2019 17:16:29 +0000 (01:16 +0800)
committer	GitHub <noreply@github.com>
	Sat, 16 Nov 2019 17:16:29 +0000 (01:16 +0800)
		1	2
src/msg/async/rdma/Infiniband.cc	patch \|	diff1 \|	diff2 \|	blob \| history
src/msg/async/rdma/Infiniband.h	patch \|	diff1 \|	diff2 \|	blob \| history