Merge pull request #10390 from micmac1/umurmur-paths
authorRosen Penev <rosenp@gmail.com>
Tue, 29 Oct 2019 20:32:13 +0000 (13:32 -0700)
committerGitHub <noreply@github.com>
Tue, 29 Oct 2019 20:32:13 +0000 (13:32 -0700)
commitfa5c7b4c9a1d4b963e0d4ecb4385b2d5039d43b3
treeff35f43dbc24ea8f82f9e79ff330fa2fd45058a2
parent160fe3039a061faf91feb097c2d479efc2133496
parente11a3d101f2fa6d5722aa0e5056ac60870092867
Merge pull request #10390 from micmac1/umurmur-paths

umurmur: fix paths