[slime-devel] slime release

[Mario S.Mommer]

Hello,

I plan to take the current slime from cvs (taken at the moment I post
this) and call it a release.

Given the many features and fixes added since 1.3.1, I propose
calling/numbering it

                              slime 2.0

If there aren't any objections, I will publish it in about 24 hours.

Regards,
        Mario.