Jimmy Hess <mysi...@gmail.com> wrote: > On Fri, Apr 20, 2018 at 3:57 AM, Theo Buehler <t...@openbsd.org> wrote: > > I don't think these are "redundant quotes" but rather ditto marks: > > The ditto mark and the quote character are not the same character, > and the comments are nonsensical since they used the wrong character. > > If the writer means Ditto mark, then you type the Ditto character: 〃 (U+3003) > and not the double quotation mark symbol: " (U+0022)
We don't litter our source tree with UTF. Let it go
