K 10
svn:author
V 8
theraven
K 8
svn:date
V 27
2013-06-18T10:26:22.842023Z
K 7
svn:log
V 80
Fix bug in destructor for checker manager in DTC that caused segfaults on
exit.

END