Skip to content

Conversation

oli-obk
Copy link
Contributor

@oli-obk oli-obk commented Jul 29, 2024

follow-up to #3763 (comment)

I opted not to change the method names, as I think they are already pretty good (and the common one is the short name), and the docs should explain what they actually do, but if you feel like the names you proposed would be better, I'll just do that.

@oli-obk
Copy link
Contributor Author

oli-obk commented Jul 30, 2024

@bors r+

@bors
Copy link
Contributor

bors commented Jul 30, 2024

📌 Commit 1ecd186 has been approved by oli-obk

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jul 30, 2024

⌛ Testing commit 1ecd186 with merge e9a390a...

@bors
Copy link
Contributor

bors commented Jul 30, 2024

☀️ Test successful - checks-actions
Approved by: oli-obk
Pushing e9a390a to master...

@bors bors merged commit e9a390a into rust-lang:master Jul 30, 2024
@bors bors mentioned this pull request Jul 30, 2024
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