fix #409: add a else case to report unknown command clearly to the usr#412
Open
pepedinho wants to merge 1 commit into
Open
fix #409: add a else case to report unknown command clearly to the usr#412pepedinho wants to merge 1 commit into
pepedinho wants to merge 1 commit into
Commits
Commits on Apr 24, 2026
- authored andcommitted
