branches with status:
Name Status Last Modified Last Commit
lp:tapaal bug 1 Development 2019-11-19 14:23:18 UTC 2019-11-19
1029. merged in lp:~tapaal-contributor/tap...

Author: Jiri Srba
Revision Date: 2019-11-19 14:23:18 UTC

merged in lp:~tapaal-contributor/tapaal/annotation-note-close-1849639 fixing the closing of annotation using the x

11 of 1 result