-
Stephen Morris authored
Logging output from different processes can get jumbled up if written to stderr (because messages are output in multiple write(2) operations.) This change updates the documentation to suggest that the user switch to stdout if that happens.
95410c80