← 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: Notabilis <notabilis27@xxxxxx>
Date: Thu, 31 May 2018 17:03:03 -0000
In-reply-to: <152740575404.19848.5005429310460387780.launchpad@ackee.canonical.com>
Reply-to: mp+346916@xxxxxxxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

The variable is only used in that line and in the following line, so its no problem renaming it by hand. But feel free to merge this as it is.
-- 
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