On Thu, 3 May 2001, Jonathan Larmour wrote: > It was a stale lock. The cvs server instance that created it must > have crashed. > > I've deleted it so it should work now. Thanks. If and when this happens, who should I tell about that, and ask to remove the lock?