Re: Info-search-whitespace

[David Kastrup]

Richard Stallman <address@hidden> writes:

>     Huh!?  The \(?:..\) is actually both useless and harmful here
>     and should be removed (if possible).
>
> It isn't useless, since it prevents confusion of back-references to
> explicit groups.

He said removed, not replaced by an explicit group.  The shy group
encloses a single item and thus is completely redundant.

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum