|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.
|[Prev in Thread]||Current Thread||[Next in Thread]|