Continuous integration builds have changed state:
Travis build 3831. State: passed. Details:
https://travis-ci.org/widelands/widelands/builds/419041575.
Appveyor build 3630. State: success. Details:
The proposal to merge lp:~widelands-dev/widelands/multiplayer-ui into
lp:widelands has been updated.
Status: Needs review => Merged
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/multiplayer-ui/+merge/353523
--
Your team Widelands Developers is subscri
The proposal to merge lp:~widelands-dev/widelands/multiplayer-ui into
lp:widelands has been updated.
Commit message changed to:
Multiplayer-ui tweaks: less empty spaces and more space for important content.
- chat has more space
- map_info scales better
- client_info has no height restriction
Review: Approve
LGTM :)
@bunnybot merge
--
https://code.launchpad.net/~widelands-dev/widelands/multiplayer-ui/+merge/353523
Your team Widelands Developers is subscribed to branch
lp:~widelands-dev/widelands/multiplayer-ui.
___
Mailing list:
/_widelands_dev_widelands_multiplayer_ui-3626.
--
https://code.launchpad.net/~widelands-dev/widelands/multiplayer-ui/+merge/353523
Your team Widelands Developers is requested to review the proposed merge of
lp:~widelands-dev/widelands/multiplayer-ui into lp:widelands.
___
Mailing list
/353523
Less free space and more room for the important parts. Pictures can be found in
the Forum:
https://wl.widelands.org/forum/post/25724/
--
Your team Widelands Developers is requested to review the proposed merge of
lp:~widelands-dev/widelands/multiplayer-ui into lp:widelands.
=== modified
6 matches
Mail list logo
