Repository navigation
Run post rectors after the rules reach a fixed point, so no rule sees an imported short name - #8909
Open
SanderMuller wants to merge 1 commit into
Open
SanderMuller wants to merge 1 commit into
SanderMuller wants to merge 1 commit into
Commits
Commits on Nov 2, 2026