Re: [slime-devel] [patch] kill compilation log with no notes