[slime-devel] Re: fuzzy update with fixes