Changeset 86795

Timestamp:

Nov 23, 2013, 12:22:28 PM (9 years ago)

Author:

Daniel James

Message:

Also send message to stderr.

Probably only need to send to stderr, but sending to both stdout and stderr
just in case.

(No files)