Skip to content
This repository was archived by the owner on May 15, 2026. It is now read-only.

Allow selecting a specific shell#11851

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

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

Commits

Commits on Mar 4, 2026