Undoing recently created annotation note requires two undos, it is fixed in revision 1015.
https://bazaar.launchpad.net/~tapaal-developers/tapaal/trunk/revision/1015
« Back to merge proposal
Undoing recently created annotation note requires two undos, it is fixed in revision 1015.
https:/ /bazaar. launchpad. net/~tapaal- developers/ tapaal/ trunk/revision/ 1015