[josm-dev] Coders: Please use true quotation marks

[Matthew W. S. Bell]

On Sun, 2009-09-13 at 19:46 +0200, Claudius wrote:
> Thanks from the translators (and lovers of correct punctuation),

Actually, I believe that the use of quotes, italics, etc. to distinguish
between the use of a phrase and the mention of a phrase[1] is a style
rule only.

Matthew Bell

[1] http://en.wikipedia.org/wiki/Use-mention_distinction