tree 322e5d6acfac5d239f572b8b0154d32fdff7c529
parent fc0aa55dee7d5075d51871f87301fe334a370ad6
author margaretha <margaretha@ids-mannheim.de> 1686566796 +0200
committer margaretha <margaretha@ids-mannheim.de> 1688979027 +0200

Added total result cache (close #599)

Change-Id: Iacf748bd0f43597c65bf1bf0511dd69e9467a086