← Back to team overview

widelands-dev team mailing list archive

Re: [Merge] lp:~widelands-dev/widelands/net-user-type into lp:widelands

 

> So how to we get this into the offical server now?

We leave that up to Notabilis. He knows how to do it :)

Do not merge this branch, let him handle it, because it needs to be coordinated.
-- 
https://code.launchpad.net/~widelands-dev/widelands/net-user-type/+merge/343754
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/net-user-type.


References