Re: [slime-devel] Another slime-openmcl minor mod