Skip to content

Clarify how needs_drop is conservative#45253

Merged
bors merged 1 commit intorust-lang:masterfrom
Gankra:drop_docs
Oct 13, 2017
Merged

Clarify how needs_drop is conservative#45253
bors merged 1 commit intorust-lang:masterfrom
Gankra:drop_docs

Commits

Commits on Oct 13, 2017