# HG changeset patch
# User nipkow
# Date 1020774514 -7200
# Node ID 39bcf279f518b3d307d31148cdaecc3b37a18899
# Parent  5fd62bcdff62d68a5ff80dff3cc31e840123eb9d
*** empty log message ***

diff -r 5fd62bcdff62 -r 39bcf279f518 doc-src/TutorialI/free-copies
--- a/doc-src/TutorialI/free-copies	Tue May 07 14:27:54 2002 +0200
+++ b/doc-src/TutorialI/free-copies	Tue May 07 14:28:34 2002 +0200
@@ -13,6 +13,7 @@
 Bernhard Rumpe	(wants a signed copy!)*
 Norbert Schirmer*
 Martin Strecker*
+Ralf Steinbrueggen*
 
 Essential colleagues: