widelands-dev team mailing list archive
Mailing list archive
Re: [Merge] lp:~widelands-dev/widelands/bug-1826744-lobby-commands into lp:widelands
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.
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1826744-lobby-commands.