[wdiff-bugs] mdiff crashes with exit status 139

[Santiago Vila]

Hello.

I've received a report from The Mayhem Team, Cylab, Carnegie Mellon University.
This is one of the 1182 bugs they found. It is not reported to Debian
yet, but it will be:

http://lists.debian.org/debian-devel/2013/06/msg00720.html

Simplified as much as possible, this is the bug:

$ mdiff --expand-
mdiff: ignoring option --tolerance (not implemented)
Segmentation fault


I have not packaged wdiff 1.2.1 for Debian yet, but the bug may
be reproduced there as well.

Thanks.