diff options
| -rwxr-xr-x | Tools/scripts/convert-makefile-header.pl | 2 |
1 files changed, 1 insertions, 1 deletions
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; |