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: Jan 21 2020 at 05:35UTC