Skip to content

Prioritization WG: Open Zulip topics only for I-prioritize issues#75496

Merged
bors merged 1 commit intorust-lang:masterfrom
spastorino:prioritization-zulip-topics
Aug 14, 2020
Merged

Prioritization WG: Open Zulip topics only for `I-prioritize` issues#75496
bors merged 1 commit intorust-lang:masterfrom
spastorino:prioritization-zulip-topics

Commits

Commits on Aug 13, 2020