Skip to content

fix: make --device flag case-insensitive consistent with other commands (#215)#264

Merged
DingmaomaoBJTU merged 1 commit into
mainfrom
fix/device-option-case-insensitive
Apr 8, 2026
Merged

fix: make --device flag case-insensitive consistent with other commands (#215)#264
DingmaomaoBJTU merged 1 commit into
mainfrom
fix/device-option-case-insensitive

Commits

Commits on Apr 8, 2026