Subject: Re: bug#20732: in-string-p fails

From: Dmitry Gutov <[email-masked]>
Date: Sat, 6 Jun 2015 12:59:53 +0300

On 06/05/2015 06:19 PM, Stefan Monnier wrote:

> I.e. remove all uses and declare it obsolete.  Sounds perfect.

Done. Guess I'll keep its definition as-is; maybe some people had a 
reason to use it.