Thanks Miroslav :-)
--
https://code.launchpad.net/~widelands-dev/widelands/infotool_stuck_painting/+merge/290076
Your team Widelands Developers is subscribed to branch
lp:~widelands-dev/widelands/infotool_stuck_painting.
___
Mailing list: https://launc
The proposal to merge lp:~widelands-dev/widelands/infotool_stuck_painting into
lp:widelands has been updated.
Status: Needs review => Merged
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/infotool_stuck_painting/+merge/290076
--
Your team Widelands Developers is
@bunnybot merge
--
https://code.launchpad.net/~widelands-dev/widelands/infotool_stuck_painting/+merge/290076
Your team Widelands Developers is subscribed to branch
lp:~widelands-dev/widelands/infotool_stuck_painting.
___
Mailing list: https://launchpad
Review: Approve
Tested and working :)
Once Travis comes through, this can go in.
--
https://code.launchpad.net/~widelands-dev/widelands/infotool_stuck_painting/+merge/290076
Your team Widelands Developers is subscribed to branch
lp:~widelands-dev/widelands/infotool_stuck_painting.
I actually think that you fixed a really annoying bug here! Code LGTM, I'll do
some testing.
--
https://code.launchpad.net/~widelands-dev/widelands/infotool_stuck_painting/+merge/290076
Your team Widelands Developers is requested to review the proposed merge of
lp:~widelands-dev/widelands/infoto
Miroslav Remák has proposed merging
lp:~widelands-dev/widelands/infotool_stuck_painting into lp:widelands.
Requested reviews:
Widelands Developers (widelands-dev)
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/infotool_stuck_painting/+merge/290076
After using the i
6 matches
Mail list logo
