-
Committer:
Jiri Srba
-
Date:
2020-04-11 11:52:32 UTC
-
mfrom:
(1043.1.4 tapaal)
-
Revision ID:
srba@cs.aau.dk-20200411115232-1qonpkgj2mchoznq
merged in lp:~tapaal-contributor/tapaal/shared-place-transition-rename-1871091 fixing problem with renaming of shared places when a component is copied