]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: bc2f109 21a1796)
Rollup merge of #52430 - RalfJung:nomicon, r=kennytm
authorkennytm <kennytm@gmail.com>
Mon, 16 Jul 2018 15:11:35 +0000 (23:11 +0800)
committerkennytm <kennytm@gmail.com>
Tue, 17 Jul 2018 11:24:42 +0000 (19:24 +0800)
update nomicon

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


Trivial merge
Empowering everyone to build reliable and efficient software.