Update mailmap.

diff --git a/.mailmap b/.mailmap
index 4c8757e600a014592805c48095b0230591e061bc..3e6bb5b0bbf97b7d022a181e075dba150f6f7dd1 100644 (file)
--- a/.mailmap
+++ b/.mailmap
@@ -8,6 +8,7 @@ Chris Snyder <csnyder@adoromusicpub.com>
 Damien Heurtebise <famille.heurtebise@free.fr>
 Daniel Johnson <il.basso.buffo@gmail.com>
 Daniel Tonda Castillo <daniel.tonda@gmail.com>
+David Kastrup <dak@gnu.org>
 Dénes Harmath <harmathdenes@gmail.com>
 Dénes Harmath <thsoft@thsoft-laptop.(none)>
 Dieter Grollmann <groll-ay@bluewin.ch>