From: bors <bors@rust-lang.org>
Date: Thu, 3 Aug 2017 16:54:22 +0000 (+0000)
Subject: Auto merge of #43618 - SimonSapin:nomiconup, r=steveklabnik
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=c701ba6efb7ea2ca023cca39371294facfb00739;p=rust.git

Auto merge of #43618 - SimonSapin:nomiconup, r=steveklabnik

Update nomicon

(This should have been in https://github.com/rust-lang/rust/pull/42959.)
---

c701ba6efb7ea2ca023cca39371294facfb00739