Re: [slime-devel] change slime-toggle-trace-fdefinition to slime-trace-fdefinition