Vincent Lefevre wrote:
On some pair of files, "diff" reports a diff on identical lines.
Yes, that's a problem, though strictly speaking not a bug. You can use the --minimal option to avoid this problem. No doubt there's an efficient way to change "diff" to avoid this particular problem even when --minimal is not used, although that will take a bit of thinking.
