Stream: project-ffi-unwind

Topic: rename stream


view this post on Zulip nikomatsakis (Dec 09 2019 at 21:09):

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

view this post on Zulip nikomatsakis (Dec 09 2019 at 21:10):

Not sure exactly what documents and links we need to update

view this post on Zulip BatmanAoD (Kyle Strand) (Dec 09 2019 at 21:18):

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

view this post on Zulip nikomatsakis (Dec 09 2019 at 21:27):

It seems like Zulip is smart enough to redirect

view this post on Zulip nikomatsakis (Dec 09 2019 at 21:27):

That's good


Last updated: Jan 26 2022 at 08:34 UTC