From: bors <bors@rust-lang.org>
Date: Tue, 14 May 2019 11:26:16 +0000 (+0000)
Subject: Auto merge of #4084 - mikerite:fix-4019, r=oli-obk
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;ds=sidebyside;h=501830bf01422ddbaa3e2014b48c6ec7788e7835;p=rust.git

Auto merge of #4084 - mikerite:fix-4019, r=oli-obk

Fix 4019

Fixes #4019
---

501830bf01422ddbaa3e2014b48c6ec7788e7835