Update nightly rustc to 2018-07-24#225

kennytm wants to merge 1 commit into

rust-lang:masterrust-lang/docs.rs:masterfrom

kennytm:patch-1kennytm/docs.rs:patch-1Copy head branch name to clipboard