Patch proposal for PR 19678

[François-Xavier Coudert]

> I'm still worried that there might be
> places where two consecutive linebreaks have a different meaning than a single
> line break, though.

I was at the beginning, but can't think of any way a \r\n could mean 
anything else than a Windows line break.

> Also, do our output routines on windows write '\r\n' or '\n'?

'\r\n'.

> (I'm not sure this is right, because your diff doesn't show which functions
> the different hunks belong to, this is what -p does)

When all discussion is over, I will submit a new patch with everything in 
order, is that OK?

FX