tree a2296bec02190e49039cef2cf10b2dc6d103c891
parent ea6b8ceef267025cfb3fd0cca330fc08b1812f93
author margaretha <margaretha@ids-mannheim.de> 1728283182 +0200
committer margaretha <margaretha@ids-mannheim.de> 1728283182 +0200

Added config for total result cached and fixed #774.

Change-Id: I9be13e78c42f60664073b2b693ca90590c99cdf6