Benjamin Neff 84df8eed33 Add redis to docker development setup ... With #8392 the `single_process_mode` was removed, which means that development now also requires a redis.		2022-09-19 04:01:16 +02:00
..
develop	Add redis to docker development setup	2022-09-19 04:01:16 +02:00