Stream: project-ffi-unwind

Topic: rename stream


nikomatsakis (Dec 09 2019 at 21:09, on Zulip):

I think I'm going to rename this stream to project-ffi-unwind, fyi :)

nikomatsakis (Dec 09 2019 at 21:10, on Zulip):

Not sure exactly what documents and links we need to update

Kyle Strand (Dec 09 2019 at 21:18, on Zulip):

It looks like the current link in the README still works, since it points to a specific message (the "welcome" message)

nikomatsakis (Dec 09 2019 at 21:27, on Zulip):

It seems like Zulip is smart enough to redirect

nikomatsakis (Dec 09 2019 at 21:27, on Zulip):

That's good

Last update: May 27 2020 at 22:50UTC