Merge branch 'master' into dev

author DRC <information@virtualgl.org>

Thu, 31 Jan 2019 21:30:25 +0000 (15:30 -0600)

committer DRC <information@virtualgl.org>

Thu, 31 Jan 2019 21:30:25 +0000 (15:30 -0600)
author DRC <information@virtualgl.org>
Thu, 31 Jan 2019 21:30:25 +0000 (15:30 -0600)
committer DRC <information@virtualgl.org>
Thu, 31 Jan 2019 21:30:25 +0000 (15:30 -0600)
diff --cc CMakeLists.txt
Simple merge
diff --cc ChangeLog.md
Simple merge
author	DRC <information@virtualgl.org>
	Thu, 31 Jan 2019 21:30:25 +0000 (15:30 -0600)
committer	DRC <information@virtualgl.org>
	Thu, 31 Jan 2019 21:30:25 +0000 (15:30 -0600)
		1	2
CMakeLists.txt	patch \|	diff1 \|	diff2 \|	blob \| history
ChangeLog.md	patch \|	diff1 \|	diff2 \|	blob \| history