Skip to content

Conversation

RalfJung
Copy link
Member

@RalfJung RalfJung commented Nov 7, 2023

I want to rename that function in rust-lang/rust#117658, but currently the build fails because hashbrown uses it.

@Amanieu
Copy link
Member

Amanieu commented Nov 15, 2023

@bors r+

@bors
Copy link
Contributor

bors commented Nov 15, 2023

📌 Commit f13a05a has been approved by Amanieu

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Nov 15, 2023

⌛ Testing commit f13a05a with merge 2e138e9...

@bors
Copy link
Contributor

bors commented Nov 15, 2023

☀️ Test successful - checks-actions
Approved by: Amanieu
Pushing 2e138e9 to master...

@bors bors merged commit 2e138e9 into rust-lang:master Nov 15, 2023
@RalfJung RalfJung deleted the ptr-invalid branch March 17, 2024 09:49
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.

3 participants