Skip to content

Commit 272d347

Browse files
borsbors
committed
Auto merge of rust-lang#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.
2 parents d5a769f + f2e7e01 commit 272d347

File tree

0 file changed

+0
-0
lines changed

    0 file changed

    +0
    -0
    lines changed

    0 commit comments

    Comments
     (0)