Does anybody know what happened?
Is that last link correct? It’s going to a merged rustdoc PR for me.
the same author closed the first 2 issues they wrote - probably realises it may not be a bug
https://github.com/rust-lang/rust/issues/45676 is the last one
well, since @pnkfelix locked the issues I presume my guess was right
strange. that user is often helpful on irc
What's going on? These are still issues...
Should I open new issues for these? They're kind of necessary... @pnkfelix
@Nicole Mazzuca feel free to open fresh issues for the ones I locked in response to the ragequit
NB: you can see most of the closed issues at https://api.github.com/users/est31/events I think.
...did they just close all their issues?...
Seems so, but there weren’t that many issues closed according to the API.
I count 19 from this GitHub search.
they even closed tracking issues :/
and https://github.com/rust-lang/rust/issues/41620 is linked from an error message :/
@pnkfelix we should at least reopen that one I linked, and if we reopen that we can just reopen all of them
I've read this before: