Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #3233 - RalfJung:trophy, r=RalfJung
Add portable-atomic-util bug to "bugs found" list At least, reading https://notgull.net/cautionary-unsafe-tale/ it seems fair to say Miri found this bug. `@notgull` please let me know if you are okay with having this listed here.
- Loading branch information