Code review comment for lp:~tapaal-contributor/tapaal/batch-remove-button-active-1780125

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

Works. Merging to trunk.

review: Approve

« Back to merge proposal