Avoid hashing the key twice in `get_query()`.#66013

Merged

bors merged 1 commit intorust-lang:masterfrom

nnethercote:avoid-hashing-twice-in-get_query

Nov 15, 2019

Commits on Nov 3, 2019

Avoid hashing the key twice in `get_query()`.
nnethercote
committed