Renamed .del-makefile.w32 to .del-makefile3.w32

BitKeeper/deleted/.del-makefile3.w32:
  Rename: BitKeeper/deleted/.del-makefile.w32 -> BitKeeper/deleted/.del-makefile3.w32
BitKeeper/etc/logging_ok:
  Logging to logging@openlogging.org accepted

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)