2008-10-06Various fixes, also from 1.12. branch
insilmaril [Mon, 06 Oct 2008 11:10:20 +0000] rev 726
Various fixes, also from 1.12. branch