On 01/08/12 12:52, Bruno Haible wrote: > gnulib/lib/diffseq.h function diag() applies your heuristic.
I forgot about that. OK, then we should keep that option. It's not nearly as effective as it should be, but that can await future improvements. Sorry about the noise -- as you can tell, this is really a trip down memory lane for me.
