Skip to content

Improve worst-case performance of HashSet.is_subset - #61

Merged
bors[bot] merged 2 commits into
masterfrom
is_subset
Apr 13, 2019
Merged

Improve worst-case performance of HashSet.is_subset#61
bors[bot] merged 2 commits into
masterfrom
is_subset

Commits

  1. Commits on Apr 12, 2019

  2. Commits on Apr 13, 2019