cli: consider "JJ:" lines as comments also when not followed by space#5023

Merged

martinvonz merged 1 commit intomainfrom push-motknzqrvrul

Dec 4, 2024

+37-41

Commits on Dec 4, 2024

cli: consider "JJ:" lines as comments also when not followed by space
martinvonz
committed