Re: [Slime-devel] SLIME 2.5 released