Patch memory leak. Rename `userdb_reinit' to `userdb_end' for more
[become] / src / tx.h
1997-08-04 mdwSources placed under CVS control.
1997-07-21 mdwInitial revision