Re: [slime-devel] trouble updating slime from cvs