clear discriminant drop flag at the bottom of a drop ladder#38600
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 27, 2016
Merged
clear discriminant drop flag at the bottom of a drop ladder#38600bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
Commits
Commits on Dec 25, 2016
- committed
Ariel Ben-Yehuda