Re: Please stop putting curly quotes into doc strings!

[David Kastrup]

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