Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1798812-replay-savegame-type into lp:widelands

@bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/bug-1798812-replay-savegame-type/+merge/357588 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1798812-replay-savegame-type. ___ Mailing

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1798812-replay-savegame-type into lp:widelands

Review: Approve Looking good now, thanks! -- https://code.launchpad.net/~widelands-dev/widelands/bug-1798812-replay-savegame-type/+merge/357588 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1798812-replay-savegame-type.

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1795871-lua-set_workers into lp:widelands

Seems indeed as if something failed within Launchpad. For convenience, here is the change: https://bazaar.launchpad.net/~widelands-dev/widelands/bug-1795871-lua-set_workers/revision/8897 Interesting is only the first block, the rest are added brackets. --

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1795871-lua-set_workers into lp:widelands

This seems to be some Launchpad error. If you click browse the code it is shown including the diff. -- https://code.launchpad.net/~widelands-dev/widelands/bug-1795871-lua-set_workers/+merge/357716 Your team Widelands Developers is requested to review the proposed merge of