Patch memory leak. Rename `userdb_reinit' to `userdb_end' for more
[become] / src / rand.h
1997-08-07 mdwNew source file added to maintain a randomness pool.