-
Bug
-
Resolution: Unresolved
-
None
-
unspecified
-
None
-
Operating System: All
Platform: All
-
3844
Should use stderr for feedback aimed at user so that output redirection can be used to pipe output to a file without messages aimed at the user.