Merge pull request #153130 from legendofmiracles/colobot
colobot: 0.1.12 -> 0.2.0; fixes build
authored by legendofmiracles and committed by GitHub 4 years ago 6da66eb5 42bee8ec