diff options
Diffstat (limited to 'Tools/scripts/convert-makefile-header.pl')
| -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 0fe05df8533b..a5d9945558cf 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="((\\s|<|^)(araujo|az|avilla|bapt|bdrewery|beat|crees|eadler|flo|flz|garga|kuriyama|linimon|makc|rm|tabthorpe|wxs)\@freebsd.org|cvs-src\@yandex\.ru|makc\@issp\.ac\.ru|villa\.alberto@|pgollucci\@p6m7g8\.com|bsdkaffee@|baptiste\.daroussin\@gmail.com)"; +my $nicepeople="((\\s|<|^)(araujo|az|avilla|bapt|bdrewery|beat|brooks|crees|eadler|flo|flz|garga|kuriyama|linimon|makc|rm|tabthorpe|wxs)\@freebsd.org|cvs-src\@yandex\.ru|makc\@issp\.ac\.ru|villa\.alberto@|pgollucci\@p6m7g8\.com|bsdkaffee@|baptiste\.daroussin\@gmail.com)"; sub get_creator($) { my $header=shift; |