Skip to content

Rollup of 7 pull requests - #83398

Merged
bors merged 28 commits into
rust-lang:masterfrom
JohnTitor:rollup-om80krv
Mar 23, 2021
Merged

Rollup of 7 pull requests#83398
bors merged 28 commits into
rust-lang:masterfrom
JohnTitor:rollup-om80krv

Conversation

@JohnTitor

Copy link
Copy Markdown
Member

Successful merges:

Failed merges:

r? @ghost
@rustbot modify labels: rollup

Create a similar rollup

XAMPPRockyand others added 28 commits February 9, 2021 10:27
Co-authored-by: Miguel Ojeda <ojeda@users.noreply.github.com>
Co-authored-by: bluss <bluss@users.noreply.github.com>
Co-authored-by: bluss <bluss@users.noreply.github.com>
Co-authored-by: Tyler Mandry <tmandry@gmail.com>
They are never both `None` or both `Some`, so it makes more sense to use
an enum so that we "make impossible states impossible".
…dePro, r=GuillaumeGomez
Update Source Code Pro and include italics
Fixesrust-lang#65502.
rust-lang#65665, a similar PR to this was merged but reverted because of rust-lang#65665 (comment).
The issue in that comment is the upstream issue adobe-fonts/source-code-pro#217 which should now be fixed in the upstream since [2.032R-ro/1.052R-it/1.012R-VAR release](https://github.com/adobe-fonts/source-code-pro/releases/tag/2.032R-ro/1.052R-it/1.012R-VAR), so I think this can now be merged.
A couple of notes from the original PR:
* Since this PR changes the font set, I think docs.rs would have to be updated if this PR is merged.
* The fonts have a double extension (.ttf.woff); this is to keep the names consistent with the upstream font release which does that to distinguish these from the .otf.woff files (Source Code Pro otf renders poorly on older Windows system apps).
…imulacrum
Update RELEASES.md for 1.51.0
### [Rendered](https://github.com/rust-lang/rust/blob/relnotes-1.51.0/RELEASES.md)
r? `@Mark-Simulacrum`
cc `@rust-lang/release`
…=Nemo157
Remove theme.js file
Fixesrust-lang#82616.
The first commit moves the `theme.js` file into `main.js`, which requires to also run a small `.replace` on the `main.js` content.
The second commit is just a small cleanup to centralize DOM ids.
Since it removes a file from rustdoc output: cc `@rust-lang/docs-rs`
cc `@jsha`
r? `@jyn514`
…uillaumeGomez
rustdoc: Replace pair of `Option`s with an enum
They are never both `None` or both `Some`, so it makes more sense to use
an enum so that we "make impossible states impossible".
…lett
rename :pat2018 -> :pat2015
as requested by T-lang on zulip: https://rust-lang.zulipchat.com/#narrow/stream/213817-t-lang/topic/or.20patterns/near/231133873
No functional changes here... just renaming.
r? `@nikomatsakis`
add rust-analyzer rustc_private option in librustdoc Cargo.toml
This addition will allow to have code completion while hacking rustdoc with rust-analyzer.
more info: https://rust-analyzer.github.io/manual.html#rust-analyzer.rustcSource
r? `@jyn514`
@rustbotrustbot added the rollup A PR which is a rollup label Mar 23, 2021
@JohnTitor

Copy link
Copy Markdown
MemberAuthor

@bors r+ p=7 rollup=never

@bors

bors commented Mar 23, 2021

Copy link
Copy Markdown
Collaborator

📌 Commit 263c858 has been approved by JohnTitor

@borsbors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Mar 23, 2021
@bors

bors commented Mar 23, 2021

Copy link
Copy Markdown
Collaborator

⌛ Testing commit 263c858 with merge 2bd94f4...

@bors

bors commented Mar 23, 2021

Copy link
Copy Markdown
Collaborator

☀️ Test successful - checks-actions
Approved by: JohnTitor
Pushing 2bd94f4 to master...

@borsbors added the merged-by-bors This PR was explicitly merged by bors. label Mar 23, 2021
@bors
bors merged commit 2bd94f4 into rust-lang:masterMar 23, 2021
@rustbotrustbot added this to the 1.53.0 milestone Mar 23, 2021
@JohnTitor
JohnTitor deleted the rollup-om80krv branch March 23, 2021 04:53
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merged-by-borsThis PR was explicitly merged by bors.rollupA PR which is a rollupS-waiting-on-borsStatus: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

10 participants

@JohnTitor@bors@rustbot@XAMPPRocky@GuillaumeGomez@tspiteri@camelid@mark-i-m@lnicola@njasm