Zulip Chat Archive
Stream: triage
Topic: issue #2880: integrate `noncomm_ring` and `ring`
Random Issue Bot (Jan 01 2022 at 14:17):
Today I chose issue 2880 for discussion!
integrate noncomm_ring and ring
Created by @Scott Morrison (@semorrison) on 2020-05-31
Labels: meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Oct 20 2022 at 14:38):
Today I chose issue 2880 for discussion!
integrate noncomm_ring and ring
Created by @Scott Morrison (@semorrison) on 2020-05-31
Labels: t-meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC