diff --git a/BitKeeper/etc/logging_ok b/BitKeeper/etc/logging_ok
index b00af7095d75a72c46a041a1874d69d176851603..d4328f49e42444179bae8d56367ebc960f7f2085 100644
--- a/BitKeeper/etc/logging_ok
+++ b/BitKeeper/etc/logging_ok
@@ -75,6 +75,7 @@ pem@mysql.com
 peter@linux.local
 peter@mysql.com
 pgulutzan@linux.local
+pmartin@build.mysql2.com
 ram@gw.udmsearch.izhnet.ru
 ram@mysql.r18.ru
 ram@ram.(none)