Update the TODO list and bump the version to 0.7.12.

This commit is contained in:
2023-05-20 20:34:23 +02:00
parent cbba5c2a33
commit dd5fefe22d
7 changed files with 14 additions and 8 deletions

View File

@@ -9,7 +9,7 @@ END-INFO-DIR-ENTRY

File: mboxgrep.info, Node: Top, Up: (dir)
This file documents 'mboxgrep' (version 0.7.11), a mailbox scanning
This file documents 'mboxgrep' (version 0.7.12), a mailbox scanning
utility.
Copyright (C) 2000, 2001, 2002, 2003 Daniel Spiljar