Re: [slime-devel] small patch to slime-xref-quit & feature request.