Re: [Users] Finally, a new cvs core dump ;-)