Commit d0c72a92ef530962e19a560001f4032893681127

Patrick Steinhardt 2017-02-17T12:41:05

Merge pull request #4092 from pks-t/pks/khash-cleanups khash cleanups