Subject: Consensus?

From: Patrick Droz <[email-masked]>
Date: Thu, 2 Oct 2003 11:07:01 +0200

David and I drew the conclusion that we have reached consensus
on these 2 issues. The first one seems to be ok. For the second
issue "MAY" versus "MUST" will be solved by replacing the text
with the input from Joel as most people have asked for.

Thanks,
Patrick

-- 
   Dr. Patrick Droz 			| [email-masked]
   IBM Zurich Research Laboratory 	| http://www.zurich.ibm.com/~dro
   Saumerstrasse 4 			| Tel. +41-1-724-85-25 CH-8803
   Rueschlikon/Switzerland 		| Fax. +41-1-724-85-78