Add additional variable scope facets#3162
Merged
AndreasArvidsson merged 25 commits intomainfrom Feb 7, 2026
Merged
Commits
Commits on Feb 7, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed