Warzone2100/warzone2100 — pull request #53 by Ginger88895 (2014-02-15 04:25:35+00:00)
Title: Fixed campaign problem

This time I uploaded a ticket into the trac. However, as no one responded to this, I fixed it myself, and pushed it into my own repository. Please consider merging this.