Merge pull request #25392 from majianpeng/async-rdma

msg/async/rdma: Delete duplicate header file

Reviewed-by: Kefu Chai <kchai@redhat.com>
This commit is contained in:
Kefu Chai 2018-12-05 18:47:53 +08:00 committed by GitHub
commit 6f447d0662
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -28,8 +28,6 @@
#include <string>
#include <vector>
#include <infiniband/verbs.h>
#include "include/int_types.h"
#include "include/page.h"
#include "common/debug.h"