Skip to content

Simplify Set1::insert#61313

Merged
bors merged 1 commit intorust-lang:masterfrom
Centril:simplify-set1-insert
May 29, 2019
Merged

Simplify Set1::insert#61313
bors merged 1 commit intorust-lang:masterfrom
Centril:simplify-set1-insert

Commits

Commits on May 29, 2019