Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix: Use a more obscure hasher name in derive expansion #15040

Merged
merged 1 commit into from Jun 13, 2023
Merged

fix: Use a more obscure hasher name in derive expansion #15040

merged 1 commit into from Jun 13, 2023

Conversation

lnicola
Copy link
Member

@lnicola lnicola commented Jun 13, 2023

Closes #15039

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jun 13, 2023
@lnicola
Copy link
Member Author

lnicola commented Jun 13, 2023

@bors r=Veykril

@bors
Copy link
Collaborator

bors commented Jun 13, 2023

📌 Commit 0b441ca has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Collaborator

bors commented Jun 13, 2023

⌛ Testing commit 0b441ca with merge 07bc6cb...

@bors
Copy link
Collaborator

bors commented Jun 13, 2023

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing 07bc6cb to master...

@bors bors merged commit 07bc6cb into rust-lang:master Jun 13, 2023
10 checks passed
@lnicola lnicola deleted the hash-state-name branch June 13, 2023 06:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Veykril Veykril Veykril approved these changes

Assignees
No one assigned
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Warnings when it shouldn't
4 participants
@lnicola @bors @Veykril @rustbot