Skip to content

Conversation

F3real
Copy link
Contributor

@F3real F3real commented Sep 24, 2021

Fix issue left from previous PR

changelog: none.

r? @Manishearth

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Sep 24, 2021
@camsteffen
Copy link
Contributor

@bors r+

@bors
Copy link
Contributor

bors commented Sep 24, 2021

📌 Commit 7a4a556 has been approved by camsteffen

@bors
Copy link
Contributor

bors commented Sep 24, 2021

⌛ Testing commit 7a4a556 with merge 2e38bc1...

@bors
Copy link
Contributor

bors commented Sep 24, 2021

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: camsteffen
Pushing 2e38bc1 to master...

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.

5 participants