2008-07-14new version name
insilmaril [Mon, 14 Jul 2008 11:21:10 +0000] rev 718
new version name

2008-07-14minor change to remove gcc warning
insilmaril [Mon, 14 Jul 2008 09:16:48 +0000] rev 717
minor change to remove gcc warning