Re: [slime-devel] swank-openmcl bug + patch