Merge pull request #310114 from annaleeleaves/colobot
colobot: apply upstream patch with gcc13 fixes
authored by Weijia Wang and committed by GitHub 2 years ago 731666d8 dfd8445b