Re: [slime-devel] How to restart the inferior kawa swank server?