From: bors <bors@rust-lang.org>
Date: Wed, 3 Feb 2016 13:05:18 +0000 (+0000)
Subject: Auto merge of #31385 - oli-obk:doc/mir, r=nagisa
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=2d4e94a501d77248e6c8bbf08b8489a823bc7c29;p=rust.git

Auto merge of #31385 - oli-obk:doc/mir, r=nagisa

I didn't change any content, just added another slash so we can see those comments in the docs

r? @steveklabnik
---

2d4e94a501d77248e6c8bbf08b8489a823bc7c29