Code

Update link for extern prelude.#82133

Code

Merged

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom ehuss:extern-prelude-linkehuss/rust:extern-prelude-linkCopy head branch name to clipboardFeb 16, 2021

+1-1

Commits

Commits on Feb 15, 2021

• Update link for extern prelude.

  ehuss

  committed
  ec77574

  Copy full SHA for ec77574