Re: [slime-devel] OK to install this SBCL pretty printer patch into SLIME CVS?