]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #31385 - oli-obk:doc/mir, r=nagisa
authorbors <bors@rust-lang.org>
Wed, 3 Feb 2016 13:05:18 +0000 (13:05 +0000)
committerbors <bors@rust-lang.org>
Wed, 3 Feb 2016 13:05:18 +0000 (13:05 +0000)
I didn't change any content, just added another slash so we can see those comments in the docs

r? @steveklabnik


Trivial merge