On Thursday, 31 August 2017 at 21:06:17 UTC, Ivan Kazmenko wrote:
On Thursday, 31 August 2017 at 14:43:39 UTC, Steven
Schveighoffer wrote:
Just a thought, but the "double printing" could be a
misunderstanding. It could be printing Output\nOutput2, but
not getting the 2 out there.
Just to say that I can reproduce this on my system. Newly
downloaded copy of v2.076.0
Window 7 "enterprise" 64 bit. Standard cmd.com command shell.
I get Output2 duplicated most of the time. Occasionally I get
Output duplicated. Occasionally Output2 is out of order...