Re: Rename `digit-char-p' to `char-digit-p'.

"Stephen J. Turnbull" <[email protected]> writes:

> Michael Sperber writes:
>  > 
>  > The name `digit-char-p' was moved to the core here:
>  > 
>  > 2015-02-25  Aidan Kehoe  <[email protected]>
>  > 
>  > 	* cl-extra.el (digit-char-p): Moved to data.c.
>  > 	* cl-extra.el (digit-char): Moved to data.c.
>  > 
>  > 
>  > Unfortunately, this breaks Gnus which defines the same name.  So:
>
> Does it define it differently?  Since you say "break" I suppose it
> must.

Yes, it's strictly less capable.  I'm sorry, I got my report the wrong
way around: Loading Gnus breaks uses of `digit-char-p'.

So it seems I should just ask the Gnus people to conditionalize the
definition?

-- 
Regards,
Mike