@@@ utils/: Add Pocklington proofs for important prime numbers.
[catacomb] / .mailmap
2017-08-15 Mark Wooding.mailmap: Add file to fix CVS-ish names in history.