Skip to content

Conversation

@gigaroby
Copy link
Contributor

Version 0.5.1 contained a soundness bug that has since been fixed: petgraph/petgraph@618af3d.

Version 0.5.1 contained a soundness bug that has since been fixed:
petgraph/petgraph@618af3d.
@gigaroby
Copy link
Contributor Author

The CI failure seems unrelated.

@jackh726
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Aug 30, 2023

📌 Commit 34f45e2 has been approved by jackh726

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Aug 30, 2023

⌛ Testing commit 34f45e2 with merge 671308f...

@bors
Copy link
Contributor

bors commented Aug 30, 2023

☀️ Test successful - checks-actions
Approved by: jackh726
Pushing 671308f to master...

@bors bors merged commit 671308f into rust-lang:master Aug 30, 2023
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