widelands-dev team mailing list archive

[SirVer <SirVer@xxxxxx>]

Let's do it. I wasn't sure if you were happy. You know that you can tell bunnybot to merge as well, right?

@bunnybot merge 

> Am 01.07.2017 um 08:37 schrieb Notabilis <notabilis27@xxxxxx>:
> 
> Is there anything left that should be done? Otherwise I would say lets merge this.
> -- 
> https://code.launchpad.net/~widelands-dev/widelands/net-internetgaming-ipv6/+merge/326027
> You are reviewing the proposed merge of lp:~widelands-dev/widelands/net-internetgaming-ipv6 into lp:widelands.


-- 
https://code.launchpad.net/~widelands-dev/widelands/net-internetgaming-ipv6/+merge/326027
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/net-internetgaming-ipv6.