From: bors <bors@rust-lang.org>
Date: Wed, 9 Dec 2015 23:41:16 +0000 (+0000)
Subject: Auto merge of #30284 - GuillaumeGomez:patch-3, r=Manishearth
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=81ae8be71c5ce8e3b5f6b7ef480d140ed2248cf2;p=rust.git

Auto merge of #30284 - GuillaumeGomez:patch-3, r=Manishearth

r? @Manishearth
---

81ae8be71c5ce8e3b5f6b7ef480d140ed2248cf2