[slime-devel] Suggested patch (Re: Emacs menus and warnings)