lars
committed
on 11 Sep 02
PM: adding notification and patches to the Bug Tracker. The new version number is 0.8 and there is a corresponding upgrade script