Code review comment for lp:~tapaal-contributor/tapaal/show-reduced-net-1879130

Jiri Srba (srba) wrote :

Needs to be merged with trunk - there are a few merge conflicts

review: Needs Fixing

« Back to merge proposal