PR !4#16984: feat: extend `module` tactic to handle multi...

Stream: triage

[Random Issue Bot]

Today I chose PR 16984 for discussion!

feat: extend module tactic to handle multiple rings, not strictly ordered by inclusion
Created by @Heather Macbeth (@hrmacbeth) on 2024-09-20
Labels: merge-conflict, t-meta

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