Viewing all changes in revision 1089.

Committer: Jiri Srba
Date: 2020-08-24 14:21:37 UTC
mfrom: <a title="Merged From 1088.1.1" href="/~tapaal-contributor/tapaal/disable-workflow-analysis-1896319/revision/1088.1.1">(1088.1.1 memoryMonitor-nullpointer)
Revision ID: srba.jiri@gmail.com-20200824142137-kzgt4v4t9fisx5e3

merged in lp:~yrke/tapaal/memoryMonitor-nullpointer fixing NPE for memory monitor

added added

removed removed