[slime-devel] Re: Patch to get ABCL working again