widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #13127
Re: [Merge] lp:~widelands-dev/widelands/net-user-type into lp:widelands
@Klaus: Glad it's working better now. I have opened a bug to update Travis with the new version too: https://bugs.launchpad.net/widelands/+bug/1766069
--
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