Merge branch 'th/redis-config' into 'master'

redis-server: Allow configuration

See merge request !1
1 job for master in 34 seconds (queued for 2 seconds)