2016-05-09 13:59, David Harton:

quoted

 }

-

Not sure how the community feels about white-space only changes.
Just mentioning in case some folks get excited about it.  One here and a few below.

It's a trivial cleanup. No problem I think.