Skip to content

Conversation

Centril
Copy link
Contributor

@Centril Centril commented May 12, 2019

Successful merges:

Failed merges:

r? @ghost

Pulkit07 and others added 11 commits May 12, 2019 01:50
* added comma before 'that is'
* "can be implement" -> "can be implemented"
…lacrum

syntax: Remove some legacy nonterminal tokens

They were used by legacy quote macros removed in rust-lang#51285.
…nkov

Assorted cleanup in parser & AST validation

r? @petrochenkov

Extracted out of a larger PR.
…ywiser

Fix minor typos for ItemLocalId

* added comma after 'that is'
* "can be implement" -> "can be implemented"
@Centril
Copy link
Contributor Author

Centril commented May 12, 2019

@bors r+ p=4 rollup=never

@bors
Copy link
Collaborator

bors commented May 12, 2019

📌 Commit b381e52 has been approved by Centril

@bors bors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label May 12, 2019
@bors
Copy link
Collaborator

bors commented May 12, 2019

⌛ Testing commit b381e52 with merge 4443957...

bors added a commit that referenced this pull request May 12, 2019
Rollup of 4 pull requests

Successful merges:

 - #60694 (Fix HIR printing of existential type #60662)
 - #60750 (syntax: Remove some legacy nonterminal tokens)
 - #60751 (Assorted cleanup in parser & AST validation)
 - #60752 (Fix minor typos for ItemLocalId)

Failed merges:

r? @ghost
@bors
Copy link
Collaborator

bors commented May 12, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: Centril
Pushing 4443957 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label May 12, 2019
@bors bors merged commit b381e52 into rust-lang:master May 12, 2019
@Centril Centril deleted the rollup-4cbsb73 branch May 12, 2019 23:40
@Centril Centril added the rollup A PR which is a rollup label Oct 2, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merged-by-bors This PR was explicitly merged by bors. rollup A PR which is a rollup S-waiting-on-bors Status: 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.

5 participants