[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Clarify 'regexp-opt' match ordering

From: Mattias Engdegård
Subject: Re: Clarify 'regexp-opt' match ordering
Date: Wed, 18 Dec 2019 12:47:49 +0100

16 dec. 2019 kl. 11.54 skrev Mattias Engdegård <address@hidden>:

> In other words: it's a behaviour that is useful and cannot be changed, so it 
> should be documented properly. Proposed patch attached.

Pushed; there isn't much more to say about it.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]