Viewing all changes in revision 1024.

Committer: Jiri Srba
Date: 2019-10-31 12:23:10 UTC
mfrom: <a title="Merged From 1019.5.1" href="/~tapaal-contributor/tapaal/annotation-note-close-1849639/revision/1019.5.1">(1019.5.1 tapaal)
Revision ID: srba.jiri@gmail.com-20191031122310-1b1rrwqyywzsoyja

merged in lp:~tapaal-contributor/tapaal/simple-workspace-issues-1849780 fixing behaviour of simple workspace

added added

removed removed