Closed ehuss closed 6 months ago
Accidentally clicked "merge" a little too fast in https://github.com/rust-lang/spec/pull/59. It had the wrong filename.
Yeah, just found that out :sweat_smile:. I was looking at rust-lang/unsafe-code-guidelines as well, idk why I called the file rustbot.toml.
rustbot.toml
Accidentally clicked "merge" a little too fast in https://github.com/rust-lang/spec/pull/59. It had the wrong filename.