Merge pull request #944 from dusk-network/cleanup/hashbrown-0.12