Re: [slime-devel] nightly build