Enrico Forestieri wrote: > However, note that, after your patch, if a line ends with '\r', it > is not stripped anymore. I think this may happen on Mac.
Thanks for the hint, I was aware of \r as line end but then forgot to test it. AFAIK, this is only used on pre-OS X macs, so not too important, but I fixed in nevertheless. Georg
