-
Committer:
srba.jiri at gmail
-
Date:
2019-03-09 17:40:57 UTC
-
mfrom:
(978.3.12 MakeMultiShared)
-
Revision ID:
srba.jiri@gmail.com-20190309174057-qfotipidayci6qff
merged in branch lp:~tapaal-contributor/tapaal/places-with-same-name-shared-1801728 that allows to share places/transitions with names that appear in several components