tree 7c67aa8615de80a22329fb7a3dae372a19793364
parent e7badb34802682b4e8fe3a21360451458b9fd7aa
author margaretha <margaretha@ids-mannheim.de> 1498149318 +0200
committer margaretha <margaretha@ids-mannheim.de> 1498149318 +0200

Checked query serialization service. Potentially unused!

Change-Id: I87b0d5a165d57e9782e2a1c7e3068f7f628343f3