Markus Elfring Tue, 19 Aug 2025 08:12:42 -0700
> Remove unnecessary semicolons. You propose to omit only a single character behind a comment, don't you?
Regards, Markus