Jonathan Turner 5d4c0edb69 Rollup merge of #36589 - jpadkins:option_docs_safety_wording_fix, r=bluss
fixed the safety header/wording in option.rs

Fixes #36581

screenshot of the rendered documentation: http://imgur.com/14kLVrA

r? @steveklabnik
2016-09-22 11:25:01 -07:00
..
2016-09-18 14:26:49 +02:00
2016-09-10 22:37:06 +03:00
2016-09-15 12:31:17 -07:00
2016-09-10 10:48:01 -07:00
2016-09-11 11:58:20 +02:00