[commits] Push branch master updated. 565ddf0e50f5f6ce5b2761ea16c9350d1948476c

[jan at horde.org]

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

from: c6b3e961855015c783ecb319c89f3278231510cf

565ddf0 Update supported PHP versions and configuration names.

Summary: https://github.com/horde/Push/compare/c6b3e9618550...565ddf0e50f5

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

commit 565ddf0e50f5f6ce5b2761ea16c9350d1948476c
Author: Jan Schneider <jan.schneider at hdnet.de>
Date:   Wed, 11 Mar 2020 13:13:38 +0100

Update supported PHP versions and configuration names.

 M .travis.yml

https://github.com/horde/Push/commit/565ddf0e50f5f6ce5b2761ea16c9350d1948476c