Bump the version to 0.7.12a.

doc/mboxgrep.info

@@ -9,7 +9,7 @@ END-INFO-DIR-ENTRY
 
 File: mboxgrep.info,  Node: Top,  Up: (dir)
 
-This file documents 'mboxgrep' (version 0.7.12), a mailbox scanning
+This file documents 'mboxgrep' (version 0.7.12a), a mailbox scanning
 utility.
 
    Copyright (C) 2000, 2001, 2002, 2003 Daniel Spiljar
@@ -250,17 +250,17 @@ Sleep well, little friend.
 
 Tag Table:
 Node: Top197
-Node: Introduction596
-Node: Invoking1465
-Node: Miscellaneous1827
-Node: File locking2112
-Node: Regexp selection2749
-Node: Output control3301
-Node: Search scope selection4345
-Node: Mailbox type selection4586
-Node: Examples4907
-Node: Bugs5731
-Node: To Vicky6149
+Node: Introduction597
+Node: Invoking1466
+Node: Miscellaneous1828
+Node: File locking2113
+Node: Regexp selection2750
+Node: Output control3302
+Node: Search scope selection4346
+Node: Mailbox type selection4587
+Node: Examples4908
+Node: Bugs5732
+Node: To Vicky6150
 
 End Tag Table