mboxgrep 0.7.13 has been released.

Changes include:

• Failure to lock a file (mbox) is now a fatal error.
• Fix Autoconf on Windows.
• Code refactoring, mostly of mbox-related functions.