Thread Previous • Date Previous • Date Next • Thread Next |
@Miroslav - you are right, I changed it -- https://code.launchpad.net/~widelands-dev/widelands/ai_coverity/+merge/294132 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/ai_coverity into lp:widelands.
Thread Previous • Date Previous • Date Next • Thread Next |