fixed the safety header/wording in option.rs#36589

Merged

bors merged 1 commit intorust-lang:masterfrom jpadkins:option_docs_safety_wording_fix

Sep 22, 2016

Commits on Sep 19, 2016

fixed the safety header/wording in option.rs
jacobpadkins
committed