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

Conversation

Xanewok
Copy link
Contributor

@Xanewok Xanewok commented Nov 17, 2020

@Xanewok
Copy link
Contributor Author

Xanewok commented Nov 17, 2020

This is a trivial change, so I'll go ahead and merge this.

@bors r+

@bors
Copy link
Contributor

bors commented Nov 17, 2020

📌 Commit bda4525 has been approved by Xanewok

@bors
Copy link
Contributor

bors commented Nov 17, 2020

⌛ Testing commit bda4525 with merge b9d358f...

@bors
Copy link
Contributor

bors commented Nov 17, 2020

☀️ Test successful - checks-actions
Approved by: Xanewok
Pushing b9d358f to master...

@bors bors merged commit b9d358f into rust-lang:master Nov 17, 2020
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