Skip to content

Fix regression when renaming commands#937

Merged
pfoerster merged 1 commit intomasterfrom bugfix/rename-commandOct 10, 2023

Commits