Skip to content

Make Binder's field private and clean up its usage - #50016

Merged
bors merged 2 commits into
rust-lang:masterfrom
tmandry:cleanup-binder
Apr 25, 2018
Merged

Make Binder's field private and clean up its usage#50016
bors merged 2 commits into
rust-lang:masterfrom
tmandry:cleanup-binder

Commits

Commits on Apr 25, 2018