Bug#715784: [Mayhem] Bug report on dawgdic-tools: dawgdic-find crashes with exit status 139

[Petter Reinholdtsen]

Control: forwarded -1 https://github.com/s-yata/dawgdic/issues/3

This specific issue is claimed to be fixed upstream, with some caveats.

-- 
Happy hacking
Petter Reinholdtsen