Zulip Chat Archive
Stream: triage
Topic: issue !4#2061: port and enhance `tfae` tactics
Random Issue Bot (Jul 16 2024 at 14:09):
Today I chose issue 2061 for discussion!
port and enhance tfae tactics
Created by @None (@thorimur) on 2023-02-04
Labels: t-meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Sep 20 2024 at 14:10):
Today I chose issue 2061 for discussion!
port and enhance tfae tactics
Created by @None (@thorimur) on 2023-02-04
Labels: t-meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Dec 17 2024 at 14:12):
Today I chose issue 2061 for discussion!
port and enhance tfae tactics
Created by @None (@thorimur) on 2023-02-04
Labels: t-meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Ruben Van de Velde (Dec 17 2024 at 14:24):
That's done, right?
Johan Commelin (Dec 17 2024 at 17:46):
Is the part about the block version done? If so, let's close this.
Last updated: May 02 2025 at 03:31 UTC