Kai Gro�johann Fri, 25 Feb 2000 07:42:23 -0800
Applied this patch now. kai -- Life is hard and then you die.
