tree 15b54dd3342212bb0cb35d7c6bb2458a15990822
parent ca9a324b0e31edfbf55bce1e6e7679be55c371fa
author margaretha <margaretha@ids-mannheim.de> 1750754672 +0200
committer margaretha <margaretha@ids-mannheim.de> 1750754672 +0200

Fix datatype for query statistics (close #802)

Change-Id: I44120df02524c2ea8d75c8a78b625f46b6aa8863