Re: [slime-devel] July 5th Slime + July 5th OpenMCL