Viewing all changes in revision 1009.

Committer: srba.jiri at gmail
Date: 2019-04-14 10:53:29 UTC
mfrom: <a title="Merged From 989.1.1" href="/~tapaal-maintainers/tapaal/3.5/revision/989.1.1">(989.1.1 fix-1821164-exceptionInEngineCheck)
Revision ID: srba.jiri@gmail.com-20190414105329-izaaei92ip05sgt9

merged in lp:~yrke/tapaal/fix-1821164-exceptionInEngineCheck trying to fix wrong binary NPE

added added

removed removed

~tapaal-maintainers/tapaal/3.5