Closed thomcc closed 3 years ago
Trivial patch, but I have two other patches incoming, and it didn't really make sense to do it in either of them.
Oops, I fixed this in https://github.com/tokio-rs/loom/pull/201 and missed this! In any case, this is now fixed :)
Trivial patch, but I have two other patches incoming, and it didn't really make sense to do it in either of them.