Subject: RE: bug#32562: 26; `read-char(-exclusive)' and `characterp'

From: Drew Adams <[email-masked]>
Date: Tue, 11 Sep 2018 11:58:31 -0700 (PDT)

> > Thats what I said: 'I think this might be the right occurrence to treat as
> defining "character event"'. I was asking that that defining occurrence get
> double quotes and index entries, to make clear that it is a term definition.
> 
> Added.

Thanks. Feel free to close this bug. I didn't close it, as I don't know if you intended to do something more for it.