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