Viewing all changes in revision 1137.
- Committer: srba.jiri at gmail
- Date: 2021-08-18 11:54:03 UTC
- mfrom: (1135.2.1 disappearing-tokens-1940098)
- Revision ID: srba.jiri@gmail.com-20210818115403-l9letnpp7p1t57vn
merged in lp:~tapaal-contributor/tapaal/disappearing-tokens-1940098 fixing a problem with disappering tokens when renaming a shared place
expand all
collapse all
added
removed
