Repository navigation
Reduce basic traversal overhead and defer native-case metadata - #1143
Merged
Merged
Commits
Commits on Nov 7, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed