[slime-devel] Release?

Is there anything left that we should fix before the release? If not, can we release the baby in the next few days? I used 1.2 as version number in the documentation, because there was already a 1.1 CVS tag (from November, before the Unicode changes). I hope that's ok with everybody. Helmut.