diff --git a/BitKeeper/etc/logging_ok b/BitKeeper/etc/logging_ok
index ed15fe2b..5deef217 100644
--- a/BitKeeper/etc/logging_ok
+++ b/BitKeeper/etc/logging_ok
@@ -1,3 +1,4 @@
 davidm@panda.mostang.com
 davidm@napali.(none)
 davidm@wailua.hpl.hp.com
+m.delahaye@esiee.fr