Code review comment for lp:~widelands-dev/widelands/bug-1783878_editor_random_map_tribe

bunnybot (widelandsofficial) wrote :

Refusing to merge, since Travis is not green. Use @bunnybot merge force for merging anyways.

Travis build 3841. State: failed. Details: https://travis-ci.org/widelands/widelands/builds/420890791.

« Back to merge proposal