warzone2100

Author	SHA1	Message	Date
Dennis Schridde	da7212b287	Merge r3827 + r3828 from branches/2.1. This fixes bug #11087 . git-svn-id: svn+ssh://svn.gna.org/svn/warzone/trunk@3830 4a71c877-e1ca-e34f-864e-861f7616d084	2008-02-18 15:39:42 +00:00