Merge pull request #12546 from eileenmcnaughton/redis
authorEileen McNaughton <eileen@mcnaughty.com>
Tue, 24 Jul 2018 19:36:24 +0000 (07:36 +1200)
committerGitHub <noreply@github.com>
Tue, 24 Jul 2018 19:36:24 +0000 (07:36 +1200)
Reduce config required to use Redis.


Trivial merge