[slime-devel] Re: Patch for swank-allegro.lisp