official v31r0
update to master 2019.01.17
base v31r0
GMR703: re-entrant algs
GMR814: coverity fix for AlgTool
apply GMR816: fix ThreadInitTool bookkeeping
update to master 2018.11.27
touch dictionary to force rebuild
revert GMR462: DataHandle reimplementation
update to v30r4 but revert GMR462
apply GMR674
EventView scheduling bugfix
apply GMR774
update to master 2018.10.03
update to master 2018.09.07
update to master 2018.08.22