Code review comment for lp:~tapaal-contributor/tapaal/undo-annotation-note-1834460

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

Fixes the problem.

review: Approve

« Back to merge proposal