Skip to content
This repository has been archived by the owner on Apr 5, 2024. It is now read-only.

Use edition 2021 #315

Merged
merged 1 commit into from
Jun 9, 2022
Merged

Use edition 2021 #315

merged 1 commit into from
Jun 9, 2022

Conversation

JohnTitor
Copy link
Member

No description provided.

@JohnTitor
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Jun 9, 2022

📌 Commit ad2b6c4 has been approved by JohnTitor

@bors
Copy link
Contributor

bors commented Jun 9, 2022

⌛ Testing commit ad2b6c4 with merge 7f73903...

@bors
Copy link
Contributor

bors commented Jun 9, 2022

☀️ Test successful - checks-actions
Approved by: JohnTitor
Pushing 7f73903 to master...

@bors bors merged commit 7f73903 into rust-lang:master Jun 9, 2022
@JohnTitor JohnTitor deleted the edition-2021 branch June 9, 2022 09:30
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants