-
Committer:
Jiri Srba
-
Date:
2020-09-16 19:40:44 UTC
-
mfrom:
(1094.3.1 tapaal)
-
Revision ID:
srba@cs.aau.dk-20200916194044-3spb6g3z9g3gy86b
merged in lp:~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108 fixing problem with undo when objects are selected