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

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

tested and works perfectly fine

review: Approve

« Back to merge proposal