widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #11675
Re: [Merge] lp:~widelands-dev/widelands/net-uuid into lp:widelands
r8472 has messed up the export to GitHub and the git repository state in the related git branch. Travis will not run again for this branch and merging this into trunk will likely mess up the trunk states in git as well. I will do some surgery on this branch and only retain the diff, throwing away all revisions.
--
https://code.launchpad.net/~widelands-dev/widelands/net-uuid/+merge/332264
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/net-uuid.
References