Re: [slime-devel] [PATCH] slime profiling - little fix