Stream: general

Topic: change topic for #rustc


nagisa (Jan 07 2019 at 16:20, on Zulip):

now that nobody is really looking at the #rustc channel, perhaps we should change the topic?

Last update: Nov 21 2019 at 23:50UTC