Repository navigation

Rollup of 6 pull requests - #113732

Merged

bors merged 17 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-nm5qy4i

Jul 15, 2023

Merged

Rollup of 6 pull requests#113732
bors merged 17 commits into
rust-lang:masterfrom
matthiaskrgr:rollup-nm5qy4i

Commits on Jul 13, 2023
- Rename `detail_exit_macro` to `exit`
  jyn514
  committed
  441972d
- Remove unnecessary `Builder::new_standalone` function
  jyn514
  committed
  79c6700
- Support `x suggest` with build-metrics
  jyn514
  committed
  e4135d4
Commits on Jul 14, 2023
- remove outdated FIXMEs on bootstrap
  onur-ozkan
  committed
  5e1ac1e
- Structurally normalize in selection
  compiler-errors
  committed
  7fb27e4
- Fix `x suggest --run`
  jyn514
  committed
  dc48a8b
- rustdoc: use `src` consistently over `source` in code
  notriddle
  committed
  34bc8fb
- rustdoc: use `src` consistently over `source` in JavaScript
  notriddle
  committed
  e72fba4
- rustdoc: rename to `src-script.js`
  notriddle
  committed
  d7d0a45
Commits on Jul 15, 2023