bitkeeper revision 1.477 (3f7af8b82LonZol-iaBebE9SLaDifw)

Merge striker.cl.cam.ac.uk:/usr/groups/xeno/BK/xeno-1.0.bk
into striker.cl.cam.ac.uk:/usr/groups/xeno/BK/xeno.bk

diff --cc BitKeeper/etc/logging_ok
index cfbe12074284a1372bbbafd91edf36cf8855ab14,cfbe12074284a1372bbbafd91edf36cf8855ab14..b66e37b978b67d2543c3b02a5ddfea3f6054f925
--- 1/BitKeeper/etc/logging_ok
--- 2/BitKeeper/etc/logging_ok
+++ b/BitKeeper/etc/logging_ok
@@@ -8,6 -8,6 +8,7 @@@ bd240@boulderdash.cl.cam.ac.u
  bd240@labyrinth.cl.cam.ac.uk
  iap10@freefall.cl.cam.ac.uk
  iap10@labyrinth.cl.cam.ac.uk
++iap10@striker.cl.cam.ac.uk
  jws22@gauntlet.cl.cam.ac.uk
  jws@cairnwell.research
  kaf24@labyrinth.cl.cam.ac.uk