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