Closed steveklabnik closed 8 years ago
@steveklabnik turns out there's a second one right next to the one you fixed :D "prorbably"
(I'm not sure the comment is still appropriate though, since I both ported and imported some code from miri since then, I'll let @brson check this all out)
in the meantime: thank you Steve :)
Thanks!
@steveklabnik turns out there's a second one right next to the one you fixed :D "prorbably"