← Back to team overview

widelands-dev team mailing list archive

Re: [Merge] lp:~widelands-dev/widelands/bug-1645844-game-summary into lp:widelands


Then it should also be const or omitted... I already shut down my VM for the day, so let's have it as it is for now.

@bunnybot merge
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1645844-game-summary.