bug#25068: 25.1; Edebug fails to instrument code which uses propertized strings

[Eli Zaretskii]

> From: Gemini Lasswell <gazally@runbox.com>
> Cc: 25068@debbugs.gnu.org
> Date: Sat, 04 Feb 2017 17:49:49 -0800
> 
> Gemini Lasswell <gazally@runbox.com> writes:
> 
> > This could be fixed by updating the list in edebug-read-function of
> > characters that might possibly follow # to keep up with the changes to
> > read1 since the last time that list was updated (in 2001). But I think
> > it's better to remove the test entirely. If there is an invalid
> > character then read1 will report a syntax error.
> 
> Ooops, attached the wrong patch. Here's the right one:

Thanks, pushed.