Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rollup merge of #36589 - jpadkins:option_docs_safety_wording_fix, r=b…
…luss fixed the safety header/wording in option.rs Fixes #36581 screenshot of the rendered documentation: http://imgur.com/14kLVrA r? @steveklabnik
- Loading branch information