summaryrefslogtreecommitdiff
path: root/BitKeeper/etc
diff options
context:
space:
mode:
Diffstat (limited to 'BitKeeper/etc')
-rw-r--r--BitKeeper/etc/logging_ok1
1 files changed, 1 insertions, 0 deletions
diff --git a/BitKeeper/etc/logging_ok b/BitKeeper/etc/logging_ok
index a8de719475..b6c7d46253 100644
--- a/BitKeeper/etc/logging_ok
+++ b/BitKeeper/etc/logging_ok
@@ -46,6 +46,7 @@ schurig@schurig.homelinux.net
szczepan@home.hrw.one.pl
szczepan@hrw.local
tgall@www.rochcivictheatre.org
+themel@sophokles.home.themel.com
timh@host10.kano.org.uk
timh@smallshiny.kano.org.uk
wind@spiritship.(none)