Re: [slime-devel] [Patch] slime-asdf contrib