[commits] Core branch master updated. 713e6af33ed378ba5381fa7c4458639c08554cd4

[jan at horde.org]

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

from: 2a4986f9399ab18a02c192cb136ce4dab1c4f0d1

713e6af Update supported PHP versions and configuration names.

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

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

commit 713e6af33ed378ba5381fa7c4458639c08554cd4
Author: Jan Schneider <jan.schneider at hdnet.de>
Date:   Wed, 11 Mar 2020 13:13:37 +0100

Update supported PHP versions and configuration names.

 M .travis.yml

https://github.com/horde/Core/commit/713e6af33ed378ba5381fa7c4458639c08554cd4