Improve the documentation for ManuallyDrop to resolve conflicting usage of terminology#71625

Merged

bors merged 1 commit intorust-lang:masterfrom Diggsey:improve-manually-drop-docs

May 16, 2020

+36-11

Commits on May 15, 2020

Improve the documentation for ManuallyDrop to resolve conflicting usage of terminology.
Diggsey
committed