Merge pull request #10390 from micmac1/umurmur-paths
authorRosen Penev <redacted>
Tue, 29 Oct 2019 20:32:13 +0000 (13:32 -0700)
committerGitHub <redacted>
Tue, 29 Oct 2019 20:32:13 +0000 (13:32 -0700)
umurmur: fix paths


Trivial merge
git clone https://git.99rst.org/PROJECT