← Back to team overview

widelands-dev team mailing list archive

  1. widelands-dev team
  2. Mailing list archive
  3. Message #12955

Re: [Merge] lp:~widelands-dev/widelands/ai_new_wai_29032018 into lp:widelands

  Thread Previous • Date Previous • • Thread Next 
This job never landed in AppVeyor for some nebulous reason, but Travis is green. So, I've merged it manually.
-- 
https://code.launchpad.net/~widelands-dev/widelands/ai_new_wai_29032018/+merge/342426
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/ai_new_wai_29032018.

References

  Thread Previous • Date Previous • • Thread Next