Re: [slime-devel] fuzzy update with fixes