On Wed, 18 Dec 2002, Kirill Miazine wrote:
> The patch worked just like you expected.
Good. Another previously unknown bug bites the dust. At least something
has gone right today! This will be in the next release, whenever that
is. Meanwhile, if people hit the problem, the patch is in the archives.
I suspect it is OS-specific.
--
Philip Hazel University of Cambridge Computing Service,
ph10@??? Cambridge, England. Phone: +44 1223 334714.