branches with status:
Name Status Last Modified Last Commit
lp:tapaal bug 1 Development 2019-05-21 09:22:34 UTC 2019-05-21
1011. merged in lp:~tapaal-contributor/tapa...

Author: Jiri Srba
Revision Date: 2019-05-21 09:22:34 UTC

merged in lp:~tapaal-contributor/tapaal/SaveWithOtherTabOpen-1826218 fixing a problem with saving a net in a tab that is not active

11 of 1 result