[slime-devel] Re: [PATCH] add easymenu entry for slime-untrace-all