From: "Stefan Beller" <sbel...@google.com>
Further, remove duplicated space character.
https://en.wikipedia.org/wiki/Sentence_spacing
seems like a globally controversial thing. (I assumed
it was some sort of local dialect before researching
it properly)
I personally do not mind one way or another regarding
(double) spaces after a period, but I would think we'd
strive for consistency throughout the project.
The use of double spaces was a taught typing technique as recently as the
early-mid 1980s when my wife did a UK university postgraduate secretarial
course. This was just before PC word processing took off. It takes a long
while for the old ways to die off!
--
Philip
