← Back to team overview

widelands-dev team mailing list archive

Thread
Date

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

To: mp+346916@xxxxxxxxxxxxxxxxxx
From: GunChleoc <fios@xxxxxxxxxxxxxxxxxxx>
Date: Thu, 31 May 2018 17:22:42 -0000
In-reply-to: <152740575404.19848.5005429310460387780.launchpad@ackee.canonical.com>
Reply-to: mp+346916@xxxxxxxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

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
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1645844-game-summary/+merge/346916
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1645844-game-summary.

References

[Merge] lp:~widelands-dev/widelands/bug-1645844-game-summary into lp:widelands
From: GunChleoc, 2018-05-27