Merge pull request #24040 from rzarzynski/wip-common-bl-drop-raw_mmap_pages

author Kefu Chai <tchaikov@gmail.com>

Wed, 12 Sep 2018 15:42:52 +0000 (23:42 +0800)

committer GitHub <noreply@github.com>

Wed, 12 Sep 2018 15:42:52 +0000 (23:42 +0800)
author Kefu Chai <tchaikov@gmail.com>
Wed, 12 Sep 2018 15:42:52 +0000 (23:42 +0800)
committer GitHub <noreply@github.com>
Wed, 12 Sep 2018 15:42:52 +0000 (23:42 +0800)
diff --cc src/common/buffer.cc
Simple merge
diff --cc src/include/buffer.h
Simple merge
author	Kefu Chai <tchaikov@gmail.com>
	Wed, 12 Sep 2018 15:42:52 +0000 (23:42 +0800)
committer	GitHub <noreply@github.com>
	Wed, 12 Sep 2018 15:42:52 +0000 (23:42 +0800)
		1	2
src/common/buffer.cc	patch \|	diff1 \|	diff2 \|	blob \| history
src/include/buffer.h	patch \|	diff1 \|	diff2 \|	blob \| history