Re: [slime-devel] Possible bugs in slime contrib-inclusions