Stream: project-ffi-unwind

Topic: stream name


view this post on Zulip nikomatsakis (Oct 08 2020 at 14:16):

I'd like to rename this stream to #t-lang/project-ffi-unwind -- any thoughts?

view this post on Zulip nikomatsakis (Oct 08 2020 at 14:16):

:)

view this post on Zulip nikomatsakis (Oct 08 2020 at 14:17):

I guess I should write-up my project group "stream name" proposal first and then do the renaming to match it

view this post on Zulip BatmanAoD (Kyle Strand) (Oct 08 2020 at 14:59):

That seems reasonable.


Last updated: Jan 26 2022 at 07:32 UTC