From: Andrew Gierth (andrew@erlenstar.demon.co.uk)
Date: Fri Apr 21 2000 - 15:45:09 CDT
>>>>> "Charles" == Charles Lindsey <chl@clw.cs.man.ac.uk> writes:
Charles> Well I think it desirable that the two should be the same so
Charles> far as is possible. And having persuaded DRUMS to remove
Charles> their worst excesses, I think we should be able to live with
Charles> what is left.
Not if it includes whitespace in message-ids.
-- Andrew.