[Slime-devel] SLIME 2.11