Warzone2100/warzone2100 — comment on commit 6f7e523bc18d9c508c104c3917712400b1c53b4f
File:  line 0
By johan-boule:

Thank you for the bugfix!