Commit graph

1 commit

Author SHA1 Message Date
Florian f9c70e5aa0 Update AUTHORS.txt
Also: Add .mailmap to map duplicate entries automatically.

Output generated with:
git log --branches=master --no-merges --format='%aN <%aE>' | sort -u

Change-Id: I4fab6f944e1cacbabf469d9396b85e2c8bf38f52
2016-08-17 23:08:41 +02:00