Zulip Chat Archive
Stream: triage
Topic: PR #18258: chore(order/filter/n_ary): redefine, golf
Random Issue Bot (Aug 24 2023 at 14:07):
Today I chose PR 18258 for discussion!
chore(order/filter/n_ary): redefine, golf
Created by @Yury G. Kudryashov (@urkud) on 2023-01-22
Labels: awaiting-author, t-topology, t-order, too-late
Is this PR still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC