Merge pull request #9764 from yuwata/hash_ops-cleanups
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Thu, 2 Aug 2018 13:53:05 +0000 (15:53 +0200)
committerGitHub <noreply@github.com>
Thu, 2 Aug 2018 13:53:05 +0000 (15:53 +0200)
commit1a167ac4f66c624d9f7b607b68e8c03439b17b55
treecfec44bc3d1bdb019fd85668bc4ad362f1206ea3
parent5b316330be4311ec5fe2316eb16a315de1bd1219
parent23577246994748b8dcb37dec7832e0aca88fa29d
Merge pull request #9764 from yuwata/hash_ops-cleanups

Hash ops cleanups