]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: a86c83f 8b02aa1)
Rollup merge of #36589 - jpadkins:option_docs_safety_wording_fix, r=bluss
authorJonathan Turner <jonathandturner@users.noreply.github.com>
Thu, 22 Sep 2016 18:25:01 +0000 (11:25 -0700)
committerGitHub <noreply@github.com>
Thu, 22 Sep 2016 18:25:01 +0000 (11:25 -0700)
fixed the safety header/wording in option.rs

Fixes #36581

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

r? @steveklabnik


Trivial merge
Empowering everyone to build reliable and efficient software.