Viewing all changes in revision 998.10.4.

Committer: Kenneth Yrke Joergensen
Date: 2019-12-11 14:13:54 UTC
mfrom: <a title="Merged From 1014.1.1" href="/~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108/revision/1014.1.1">(1014.1.1 tapaal)
mto: <a title="Merged In 998.11.25" href="/~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108/revision/998.11.25">(998.11.25 commandlineBatchRunner)
mto: This revision was merged to the branch mainline in <a href="/~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108/revision/1047">revision 1047 .
Revision ID: kenneth@yrke.dk-20191211141354-7hmqrydmhceopbm3

merged in lp:~tapaal-contributor/tapaal/undo-annotation-note-1834460 fixing undo for annotations

added added

removed removed