[commits] Core branch master updated. a1cb69533d3b37d86c15784ff472b2e46011ebc7

[jan at horde.org]

The branch "master" has been updated.
The following is a summary of the commits.

from: 713e6af33ed378ba5381fa7c4458639c08554cd4

a1cb695 [jan] Support Redis Sentinel configuration (Michael Menge <michael.menge at zdv.uni-tuebingen.de>, Request #14998).

Summary: https://github.com/horde/Core/compare/713e6af33ed3...a1cb69533d3b

-----------------------------------------------------------------------

commit a1cb69533d3b37d86c15784ff472b2e46011ebc7
Author: Jan Schneider <jan at horde.org>
Date:   Thu, 12 Mar 2020 21:00:56 +0100

[jan] Support Redis Sentinel configuration (Michael Menge <michael.menge at zdv.uni-tuebingen.de>, Request #14998).

 M doc/Horde/Core/changelog.yml
 M lib/Horde/Core/Factory/HashTable.php

https://github.com/horde/Core/commit/a1cb69533d3b37d86c15784ff472b2e46011ebc7