[slime-devel] Restart Numbering (was: Daily ChangeLog diff)