Skip to content

Use system-provided Redis server

Fixes #237 (closed).

Merge request reports