]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #20934 from tomjakubowski/patch-1
authorbors <bors@rust-lang.org>
Mon, 12 Jan 2015 00:21:30 +0000 (00:21 +0000)
committerbors <bors@rust-lang.org>
Mon, 12 Jan 2015 00:21:30 +0000 (00:21 +0000)
Escape a leading # in a doc comment

Reviewed-by: eddyb

Trivial merge