From: kennytm <kennytm@gmail.com>
Date: Mon, 16 Jul 2018 15:11:35 +0000 (+0800)
Subject: Rollup merge of #52430 - RalfJung:nomicon, r=kennytm
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=68b292887d88555b32c9a53e9620d822989f817b;p=rust.git

Rollup merge of #52430 - RalfJung:nomicon, r=kennytm

update nomicon

Will this trigger a website update automatically or is that a separate step?
---

68b292887d88555b32c9a53e9620d822989f817b