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
update to master 2018.08.17