Fix externals & equivalent classes (again)#181
Merged
TheRealMorgenfrue merged 8 commits intomainfrom Feb 26, 2026
Merged
Commits
Commits on Feb 24, 2026
- authored andcommitted
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Feb 26, 2026
- andauthored
