← Back to team overview

widelands-dev team mailing list archive

Thread
Date

Re: [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands

To: mp+368285@xxxxxxxxxxxxxxxxxx
From: GunChleoc <fios@xxxxxxxxxxxxxxxxxxx>
Date: Fri, 14 Jun 2019 15:51:58 -0000
In-reply-to: <155959028162.12616.14085013643592993893.launchpad@ackee.canonical.com>
Reply-to: mp+368285@xxxxxxxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

Yes it should. Are you happy with your testing otherwise?

If so, we should merge this so it will be easier for Notabilis to continue with the needed changes on the server.
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1826744-lobby-commands/+merge/368285
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1826744-lobby-commands.

References

[Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands
From: Notabilis, 2019-06-03