Re: [slime-devel] Today's Daily ChangeLog diff