Zulip Chat Archive

Stream: triage

Topic: issue #2891: support multiple targets in `equiv_rw`


view this post on Zulip Random Issue Bot (Dec 11 2020 at 14:24):

Today I chose issue 2891 for discussion!

support multiple targets in equiv_rw
Created by @Reid Barton (@rwbarton) on 2020-05-31
Labels: enhancement, meta

Is this issue still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Random Issue Bot (Apr 20 2021 at 14:24):

Today I chose issue 2891 for discussion!

support multiple targets in equiv_rw
Created by @Reid Barton (@rwbarton) on 2020-05-31
Labels: enhancement, meta

Is this issue still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Scott Morrison (Apr 21 2021 at 01:21):

Still relevant, and I ran into it recently. Too much to do, but this one is actually pretty easy if someone wants to get their feet wet in tactic writing.


Last updated: May 09 2021 at 16:20 UTC