* Vladimir Rusinov (vrusinov@google.com) wrote:
> I'm not sure if it makes sense to merge just these, as it will not help
> people with whitespace-eating editors.
I think we've established that it's going to be quite a while before we
will reach a point where whitespace-eating editors aren't a problem when
it comes to working with our docs.
That doesn't mean we shouldn't fix obviously incorrect trailing
whitespace in the docs.
Thanks!
Stephen
