Restore comment detail that can only be removed after tj#1934 is merged

(cherry picked from commit 0931218)
aweebit · Aug 8, 2023 · 99a1138 · 99a1138
1 parent ef6acf4
commit 99a1138
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/command.js b/lib/command.js
@@ -1514,6 +1514,7 @@ Expecting one of '${allowedValues.join("', '")}'`);
 
       // Not a recognised option by this command. Might be
       // - a subcommand,
+      // - the help option (currently not handled by this routine),
       // - an option unknown to this command,
       // - or a command-argument.