Merge branch 'MDL-68577-redis-lock-tuning' of https://github.com/brendanheywood/moodle
authorAndrew Nicols <andrew@nicols.co.uk>
Wed, 20 May 2020 08:50:37 +0000 (16:50 +0800)
committerAndrew Nicols <andrew@nicols.co.uk>
Wed, 20 May 2020 08:50:37 +0000 (16:50 +0800)

Trivial merge