Skip to content

Conversation

@RalfJung
Copy link
Member

Follow-up to #2059

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented May 23, 2022

📌 Commit 697dca2 has been approved by RalfJung

@bors
Copy link
Contributor

bors commented May 23, 2022

⌛ Testing commit 697dca2 with merge c51cd7a...

@bors
Copy link
Contributor

bors commented May 23, 2022

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing c51cd7a to master...

@bors bors merged commit c51cd7a into rust-lang:master May 23, 2022
@RalfJung RalfJung deleted the int2ptr branch May 23, 2022 10:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants