Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/doc_type_name into lp:widelands

2017-07-28 Thread kaputtnik
> We could link them to the LuaDescription objects, > which already have documentation about he building types etc. Don't know what you mean here :-S E.g. this page: https://wl.widelands.org/docs/wl/autogen_toc_lua_tribes_buildings/ ? Creating a documentation which is useful for beginners is

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/travis-osx into lp:widelands

2017-07-28 Thread Hans Joachim Desserud
Still can't get the regression tests to run on macos :( Most of them fail with: Your OpenGL installation must be __very__ broken. Missing GL version libc++abi.dylib: terminating with uncaught exception of type WException: [/Users/travis/build/widelands/widelands/src/graphic/gl/initialize.cc:90]

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/ai_dna_dump into lp:widelands

2017-07-28 Thread TiborB
I uploaded lates *wai files, so this can be merged. But it seems to me that CI does not work here either, there are no updates from bunnybot -- https://code.launchpad.net/~widelands-dev/widelands/ai_dna_dump/+merge/327988 Your team Widelands Developers is requested to review the proposed merge

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

2017-07-28 Thread kaputtnik
Thanks :-) -- https://code.launchpad.net/~widelands-dev/widelands/bug-1705771/+merge/328122 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1705771. ___ Mailing list: https://launchpad.net/~widelands-dev Post to

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

2017-07-28 Thread noreply
The proposal to merge lp:~widelands-dev/widelands/bug-1705771 into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/bug-1705771/+merge/328122 -- Your team Widelands Developers is subscribed to branch

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

2017-07-28 Thread SirVer
I manually merged this one since I could not fix bunnybot quickly. -- https://code.launchpad.net/~widelands-dev/widelands/bug-1705771/+merge/328122 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1705771. ___

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

2017-07-28 Thread SirVer
Bunnybot choked on this branch. Investigating right now. -- https://code.launchpad.net/~widelands-dev/widelands/bug-1705771/+merge/328122 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1705771. ___ Mailing list:

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

2017-07-28 Thread TiborB
Hm, I would wait -- https://code.launchpad.net/~widelands-dev/widelands/bug-1705771/+merge/328122 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1705771. ___ Mailing list:

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

2017-07-28 Thread kaputtnik
Maybe bunnybot is down? I looked at the server but couldn't find any bunnybot related things... just merge it the old way? -- https://code.launchpad.net/~widelands-dev/widelands/bug-1705771/+merge/328122 Your team Widelands Developers is subscribed to branch