Skip to content

Conversation

Veykril
Copy link
Member

@Veykril Veykril commented Feb 8, 2023

Closes #9554

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Feb 8, 2023
@lnicola
Copy link
Member

lnicola commented Feb 8, 2023

Huh, this seemed harder to fix at the time 😃.

@Veykril
Copy link
Member Author

Veykril commented Feb 8, 2023

Right? I could swear there was more to it as well ...

@Veykril
Copy link
Member Author

Veykril commented Feb 8, 2023

@bors r+

@bors
Copy link
Contributor

bors commented Feb 8, 2023

📌 Commit 4788c7a has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Feb 8, 2023

⌛ Testing commit 4788c7a with merge 885c1ad...

@bors
Copy link
Contributor

bors commented Feb 8, 2023

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing 885c1ad to master...

1 similar comment
@bors
Copy link
Contributor

bors commented Feb 8, 2023

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing 885c1ad to master...

@bors bors merged commit 885c1ad into rust-lang:master Feb 8, 2023
@bors
Copy link
Contributor

bors commented Feb 8, 2023

👀 Test was successful, but fast-forwarding failed: 422 Changes must be made through a pull request.

@Veykril Veykril deleted the bump-lexer branch February 16, 2023 09:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Update lexer for rust-lang/rust#85359
4 participants