Skip to content

Allow selecting a specific shell#11851

Merged
jr merged 2 commits intomainfrom
jr/add-cli-shell-param
Mar 4, 2026
Merged

Allow selecting a specific shell#11851
jr merged 2 commits intomainfrom
jr/add-cli-shell-param

Commits

Commits on Mar 4, 2026