[slime-devel] Re: Patch for customizing slime-connect port