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/Typos-1896460/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