Alastair Reid <[EMAIL PROTECTED]> writes:
> We fixed a major cause of this kind of error a few months back
> so I'd like to be absolutely clear about which version this occurs in
> so that I can figure out whether it's still happening.
>
> Can you tell me the latest version in which you have observed this bug
> please? (I need the minor version "number" which is either a
> month-year pair or a 6 digit date of the form YYMMDD.)
I don't know if this is related to the "Hugs garbage collection bug",
which has been around basically for ever. I've seen this
intermittently, the last time was a December snapshot of hugs-1.4, I
think (can't remeber the exact date I'm afraid).
Cheers,
Simon
--
Simon Marlow [EMAIL PROTECTED]
University of Glasgow http://www.dcs.gla.ac.uk/~simonm/
finger for PGP public key
