Re: Please stop putting curly quotes into doc strings!

[T.V Raman]

1+! Thanks Paul for being open to making these changes.

David Kastrup writes:
 > Paul Eggert <address@hidden> writes:
 > 
 > > On 09/10/2015 08:46 AM, David Kastrup wrote:
 > >
 > >> outcommented stuff that would become non-standard when commented back
 > >
 > > Thanks, I missed those, since I didn’t look at comments.  Fixed.
 > >
 > >> Comments and messages like
 > >
 > > Thanks, I missed those message instances, as somebody else introduced
 > > those curved quotes and I looked only at the curved quotes I
 > > introduced.  I changed them to use grave quotes just now.
 > 
 > Thanks for the cleanup.
 > 
 > -- 
 > David Kastrup

-- 

--