← 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: Notabilis <notabilis27@xxxxxx>
Date: Sat, 15 Jun 2019 07:41:39 -0000
In-reply-to: <155959028162.12616.14085013643592993893.launchpad@ackee.canonical.com>
Reply-to: mp+368285@xxxxxxxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

Thanks for the reviews. A metaserver branch with the requested change is open at https://github.com/widelands/widelands_metaserver/pull/60 and already deployed for testing.
-- 
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