[internal] make addVisitor() immutable, remove obsolete script to build traverser#7825
Merged
TomasVotruba merged 3 commits intomainfrom Jan 14, 2026
Merged
[internal] make addVisitor() immutable, remove obsolete script to build traverser#7825TomasVotruba merged 3 commits intomainfrom
TomasVotruba merged 3 commits intomainfrom