Skip to content

Resolve "(buggy) results can be deleted from the redis database"

Sabine Schröder requested to merge sabine_issue19-buggy-results-can-be-deleted-from-the-redis-database into master

A tool (python script) for flushing the redis database is provided. Closes #19 (closed)

Merge request reports