Update .mailmap

Andrej has solved the mystery of the stupid peasant.
HoTT · Aug 7, 2014 · 03884a4 · 03884a4
1 parent 5d4ca07
commit 03884a4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.mailmap b/.mailmap
@@ -5,6 +5,7 @@
 Andrej Bauer <Andrej.Bauer@andrej.com>                     Andrej Bauer <Andrej.Bauer@andrej.com>
 Andrej Bauer <Andrej.Bauer@andrej.com>                     Andrej Bauer <abauer@somf401.math.ias.edu>
 Andrej Bauer <Andrej.Bauer@andrej.com>                     andrejbauer <Andrej.Bauer@andrej.com>
+Andrej Bauer <Andrej.Bauer@andrej.com>                     Homotopy Type Theory <stupid.peasant@gmail.com>
 Assia Mahboubi <assia.mahboubi@inria.fr>                   amahboubi <assia.mahboubi@inria.fr>
 Bas Spitters <b.a.w.spitters@gmail.com>                    Bas Spitters <spitters@cs.ru.nl>
 Bas Spitters <b.a.w.spitters@gmail.com>                    spitters <b.a.w.spitters@gmail.com>