From 8685fce563b3d30c937ebaad1f4342966df44808 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Mon, 26 Apr 2004 16:10:28 +0000
Subject: [PATCH] [project @ 2004-04-26 16:10:28 by simonmar] Update Jeff
 Lewis' email address

---
 docs/building/building.sgml |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/building/building.sgml b/docs/building/building.sgml
index dff234f..27ff5e0 100644
--- a/docs/building/building.sgml
+++ b/docs/building/building.sgml
@@ -107,7 +107,7 @@
     remember is that most mistakes can be undone, but if there's
     anything you're not sure about feel free to bug the local CVS
     meister (namely Jeff Lewis
-    <email>jlewis@galconn.com</email>). </para>
+    <email>jlewis@galois.com</email>). </para>
 
     <sect2 id="cvs-access">
       <title>Getting access to the CVS Repository</title>
@@ -255,7 +255,7 @@
 	  <listitem>
 	    <para>Send a message to to the CVS repository
             administrator (currently Jeff Lewis
-            <email>jeff@galconn.com</email>), containing:</para>
+            <email>jeff@galois.com</email>), containing:</para>
 	    <itemizedlist>
 	      <listitem>
 		<para>Your desired user-name.</para>
-- 
1.7.10.4