tree 08cdaf354eec5ac6af233407a01bf3caf1bbbad0
parent f33f706ee23b4085784dbd1afc9fe432eb424308
author Michael Hanl <hanl@ids-mannheim.de> 1435249063 +0200
committer Michael Hanl <hanl@ids-mannheim.de> 1435249063 +0200

previously introduced collection query bug fix