Stephan Tobies <[EMAIL PROTECTED]> writes:

Yes, Random is missing.  It appears that CVS screwed up again, but the
file has been recovered and will re-appear in the next release.

-- 
Simon Marlow                                             [EMAIL PROTECTED]
University of Glasgow                       http://www.dcs.gla.ac.uk/~simonm/
finger for PGP public key

Reply via email to