From 3965d0dfd7ee98d9dcde7a39f77bb2b69b9bc035 Mon Sep 17 00:00:00 2001 From: Eitan Adler Date: Sat, 15 Dec 2012 21:27:08 +0000 Subject: [PATCH] Add both of pgollucci's email addresses Add rm's alternate email address Add wxs If anyone else wants to be added please email me so we could batch them up into one set. --- Tools/scripts/convert-makefile-header.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Tools/scripts/convert-makefile-header.pl b/Tools/scripts/convert-makefile-header.pl index 32b38504719b..b64ce050e3d1 100755 --- a/Tools/scripts/convert-makefile-header.pl +++ b/Tools/scripts/convert-makefile-header.pl @@ -28,7 +28,7 @@ Usage: $bn [OPTION] PORT _ENOUSAGE } -my $nicepeople=".*(avilla@|bapt@|bdrewery@|beat@|eadler@|flo@|flz@|garga@|bsdkaffee@|linimon@|makc@|araujo@|rm@|villa.alberto@|crees@|pgollucci@).*"; +my $nicepeople="(araujo@|avilla@|bapt@|bdrewery@|beat@|crees@|eadler@|flo@|flz@|garga@|bsdkaffee@|linimon@|makc@|rm@|wxs@|cvs-src\@yandex\.ru|villa\.alberto@|pgollucci\@p6m7g8\.com)"; sub get_creator($) { my $header=shift;