1
0
mirror of git://git.sv.gnu.org/sed synced 2025-04-18 02:37:37 +03:00

build: fix THANKS generation

* .mailmap: Building THANKS would fail due to thanks-gen finding
two different email addresses for Mike Frysinger.  Map the older
one to the newer one.
This commit is contained in:
Jim Meyering 2022-10-16 20:11:55 -07:00
parent 23eaab0669
commit 0fe201e7f4

View File

@ -7,6 +7,7 @@ Paul Eggert <eggert@cs.ucla.edu> <eggert@CS.UCLA.EDU>
<eggert@cs.ucla.edu> <eggert@twinsun.com>
<karl@gnu.org> <karl@freefriends.org>
<bonzini@gnu.org> <pbonzini@redhat.com>
<vapier@chromium.org> <vapier@gentoo.org>
# Consolidate upper/lower case email
<Ralf.Wildenhues@gmx.de> <ralf.wildenhues@gmx.de>