bug#17862: 24.3; regexp-opt docstring is incorrect

[immerrr again]

On Tue, Jul 1, 2014 at 7:22 PM, Stefan Monnier <monnier@iro.umontreal.ca> wrote:
>> I suppose you could use it to add an explicit group number.
>> Is it worth it?
>
> I don't think so.
>

Removing this parameter or not is probably a subject of a different
discussion concerning backward compatibility and whatnot. Within the
scope of this bug, I'd like to suggest the following patch to fix the
issue.

0001-Fix-regexp-opt-documentation-bug-17862.patch
Description: Text Data