Hi, I'm afraid I won't be able to be part of this working group. With Mozilla's layoffs and restructuring, I won't be able to work directly on rustc from now on :(
Good luck with the work!
@njn hey mate, it was great seeing you. I hope you can still hang out in the Zulip from time to time, and if not, godspeed! :heart:️
:sad: thanks for all the work you’ve done, all the best of the future
@njn very sad news, your accomplishments have been invaluable, thanks so much for all you’ve done
@njn Thanks for all the hard work! I've especially loved reading the quarterly(?) blog posts.
@njn :sad: :sad: :sad:, thanks for all your work you've done, wish you the best in your future and hope at some point in time you can be back doing your amazing stuff
Last updated: Oct 21 2021 at 20:47 UTC