tree 23562753156fb0ac4a98c25b6455a69360d850d3
parent feb0ccecd17ae9ab631fa08997e5c622105bced4
author margaretha <margaretha@ids-mannheim.de> 1727166331 +0200
committer margaretha <margaretha@ids-mannheim.de> 1727166336 +0200

Fixed testing dory-vc statistics.

Change-Id: I7a4185cbf620e47c01aafb96e7f3591aac868dce