Skip to content

[Fix] Instr visitor's handling of SHELL and SEARCH SHELL#191

Merged
g5t merged 1 commit intomainfrom
fix-search-shell-handling
Feb 25, 2026
Merged

[Fix] Instr visitor's handling of SHELL and SEARCH SHELL#191
g5t merged 1 commit intomainfrom
fix-search-shell-handling

Commits

Commits on Feb 25, 2026