Re: [boost] stale lock in CVS?