From: Michael Neumann Date: 2008-02-09T07:57:59+09:00 Subject: Re: STDIN encoding differs from default source file encoding Yukihiro Matsumoto wrote: > Hi, > > In message "Re: STDIN encoding differs from default source file encoding" > on Thu, 7 Feb 2008 12:10:48 +0900, Dave Thomas writes: > > |Oh, I'm having a bad day. More medicine is called for. Sorry. > > Get well soon. Keep yourself warm, take nutritious food, and rest, > including staying away from your computer ;-) Couldn't the computer be medicine? ;-) Regards, Michael