Yes, this patch will fix the issue reported in https://bugs.launchpad.net/stratagus/+bug/816575 Sorry that I overlooked that bug report.
Yes, this patch will fix the issue reported in https:/ /bugs.launchpad .net/stratagus/ +bug/816575
Sorry that I overlooked that bug report.