[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1744583_fix_global_helptexts into lp:widelands

2018-02-04 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/bug-1744583_fix_global_helptexts into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/bug-1744583_fix_global_helptexts/+merge/337051 -- Your team Widel

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1744583_fix_global_helptexts into lp:widelands

2018-02-04 Thread bunnybot
Continuous integration builds have changed state: Travis build 3138. State: passed. Details: https://travis-ci.org/widelands/widelands/builds/337191548. Appveyor build 2945. State: success. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_bug_174458

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1744583_fix_global_helptexts into lp:widelands

2018-02-04 Thread kaputtnik
travis has problems fetching packages... @bunnybot merge force -- https://code.launchpad.net/~widelands-dev/widelands/bug-1744583_fix_global_helptexts/+merge/337051 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1744583_fix_global_helptexts. _

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1744583_fix_global_helptexts into lp:widelands

2018-02-04 Thread bunnybot
Refusing to merge, since Travis is not green. Use @bunnybot merge force for merging anyways. Travis build 3127. State: failed. Details: https://travis-ci.org/widelands/widelands/builds/336529933. -- https://code.launchpad.net/~widelands-dev/widelands/bug-1744583_fix_global_helptexts/+merge/3370

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1744583_fix_global_helptexts into lp:widelands

2018-02-04 Thread kaputtnik
Thanks :-) -- https://code.launchpad.net/~widelands-dev/widelands/bug-1744583_fix_global_helptexts/+merge/337051 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1744583_fix_global_helptexts. ___ Mailing list: http

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1744583_fix_global_helptexts into lp:widelands

2018-02-04 Thread Klaus Halfmann
Review: Approve review, compile, testplay All fine. @bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/bug-1744583_fix_global_helptexts/+merge/337051 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1744583_fix_global_helptexts. ___

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1744583_fix_global_helptexts into lp:widelands

2018-02-03 Thread Klaus Halfmann
No idea if this is the correct way, but if this fixes the issue, well. I will do a ahort test today. I will check some entries in the encyclopedia and some (but not all) bulding hep-texts. -- https://code.launchpad.net/~widelands-dev/widelands/bug-1744583_fix_global_helptexts/+merge/337051 Your

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1744583_fix_global_helptexts into lp:widelands

2018-02-02 Thread bunnybot
Continuous integration builds have changed state: Travis build 3127. State: failed. Details: https://travis-ci.org/widelands/widelands/builds/336529933. Appveyor build 2934. State: failed. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_bug_1744583

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1744583_fix_global_helptexts into lp:widelands

2018-02-02 Thread kaputtnik
kaputtnik has proposed merging lp:~widelands-dev/widelands/bug-1744583_fix_global_helptexts into lp:widelands. Commit message: fix rt rendering of the building help Requested reviews: Widelands Developers (widelands-dev) Related bugs: Bug #1744583 in widelands: "Building help looks weird"