Log in / Register
TAPAAL
Overview
Code
Bugs
Blueprints
Translations
Answers
Code review comment for lp:~tapaal-contributor/tapaal/merge-components-changed-lens-1947689
merge-components-changed-lens-1947689
Merge into trunk
Revision history for this message
Jiri Srba (srba)
wrote
on 2021-11-05
:
#
Tested and fixes the problem.
Tested and fixes the problem.
review:
Approve
«
Back to merge proposal
Tested and fixes the problem.