Adding (much belatedly) Bj?rn H?hrmann to the credits.

1 files changed, 3 insertions, 2 deletions

diff --git a/htdocs/about.html b/htdocs/about.html
index e4995f0..9f0e246 100755
--- a/htdocs/about.html
+++ b/htdocs/about.html
@@ -1,5 +1,5 @@
-<!--#set var="revision" value="\$Id: about.html,v 1.16 2002-11-01 19:34:50 ville Exp $"
---><!--#set var="date" value="\$Date: 2002-11-01 19:34:50 $"
+<!--#set var="revision" value="\$Id: about.html,v 1.17 2002-11-03 00:23:46 link Exp $"
+--><!--#set var="date" value="\$Date: 2002-11-03 00:23:46 $"
 --><!--#set var="title" value="About the W3C MarkUp Validation Service"
 --><!--#set var="relroot" value="./"
 --><!--#include virtual="header.html" -->
@@ -154,6 +154,7 @@
           Patches and ideas from:
           <ul>
             <li><a href="http://www.aaronsw.com/">Aaron Swartz</a></li>
+            <li><a href="http://bjoern.hoehrmann.de/">Bj&ouml;rn H&ouml;hrmann</a></li>
             <li><a href="http://www.smith-family.com/">Christian Smith</a></li>
             <li><a href="http://www.w3.org/People/Connolly/">Dan Connolly</a></li>
             <li><a href="http://www.w3.org/People/Hugo/">Hugo Haas</a></li>