Malte Pietsch c0892717a0
Fix usage of filters in /query endpoint in REST API (#1774)
* WIP filter refactoring

* fix filter formatting

* remove inplace modification of filters
2021-11-18 18:13:03 +01:00
..
2021-11-11 09:40:58 +01:00
2021-11-11 09:40:58 +01:00
2021-11-11 09:40:58 +01:00