-
Committer:
Jiri Srba
-
Date:
2019-11-19 14:23:18 UTC
-
mfrom:
(1027.2.1 tapaal)
-
Revision ID:
srba.jiri@gmail.com-20191119142318-1fqmronwswcdys3y
merged in lp:~tapaal-contributor/tapaal/annotation-note-close-1849639 fixing the closing of annotation using the x