On Fri, Apr 20, 2018 at 06:53:44AM -0500, Jimmy Hess 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)
UTF-8 in source code ? please kill me now.