3 ms·

Didn't he step down voluntarily?[1] Or is there some back story to this that is not general knowledge? [1] https://mail.mozilla.org/pipermail/rust-dev/2013-Aug

• Jweb_Guru 12y ago
  To the best of my knowledge, it is not even rumored that he was booted from the project (and there are certainly people who would have a lot to gain from spreading such rumors).