# HG changeset patch
# User nipkow
# Date 752521762 -3600
# Node ID 40f2927193988241118984a578bc7ffb81e72aa9
# Parent  082f40a66fd3d4ff5ac493e806dba562a804265e
change of my address

diff -r 082f40a66fd3 -r 40f292719398 README
--- a/README	Fri Nov 05 11:48:53 1993 +0100
+++ b/README	Fri Nov 05 18:49:22 1993 +0100
@@ -112,8 +112,7 @@
 Tobias Nipkow			E-mail: nipkow@informatik.tu-muenchen.de
 Institut fuer Informatik	Phone: +49-89-2105-2690
 T. U. Muenchen			Fax:   +49-89-2105-8183
-Postfach 20 24 20
-D-8000 Muenchen 2
+D-80290 Muenchen
 Germany
 
 Last updated 5 November 1993