Commit 7aadb23803a8fb71d07e6e87ffb1ca510d86f8ef

Paul Eggert 2020-08-24T15:19:27

diffseq: new option NOTE_ORDERED Problem reported by Phil Sainty <https://bugs.gnu.org/42931>. * NEWS: Mention this. * lib/diffseq.h (NOTE_ORDERED): New macro. (IF_LINT2): Remove; no longer needed. (compareseq): If (!NOTE_ORDERED), recurse on the smaller subproblem and iterate to do the larger.