widelands

Code review comment for lp:~widelands-dev/widelands/remove_duplicate_code

Revision history for this message

Tino (tino79) wrote on 2018-09-26:

OK, the merge was a bit premature:
Revision detection is not broken, but does not happen any longer...