diff options
Diffstat (limited to 'BitKeeper')
| -rw-r--r-- | BitKeeper/etc/logging_ok | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/BitKeeper/etc/logging_ok b/BitKeeper/etc/logging_ok index f858af82736..299c12c1f4a 100644 --- a/BitKeeper/etc/logging_ok +++ b/BitKeeper/etc/logging_ok @@ -63,6 +63,7 @@ miguel@hegel.br miguel@hegel.local miguel@light. miguel@light.local +miguel@sartre.local mmatthew@markslaptop. monty@bitch.mysql.fi monty@butch. @@ -86,6 +87,7 @@ nick@mysql.com nick@nick.leippe.com papa@gbichot.local paul@central.snake.net +paul@ice.local paul@ice.snake.net paul@teton.kitebird.com pem@mysql.com |