Code review comment for lp:~tapaal-contributor/tapaal/bug894337

Revision history for this message
Jiri Srba (srba) wrote :

The conflict has been resolved. I guess we can merge it now?

« Back to merge proposal