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

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

I could not reproduce the bug on mac but after this patch saving and opening files still works on mac, so I approve.

review: Approve

« Back to merge proposal