[commits] Rdo branch master updated. 443b72dd69acfd4dc5c8d2cb95ddca4238f8f814

[jan at horde.org]

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

from: 842e7b953cb554c39fb42c1b23184eb21fc63934

443b72d Update supported PHP versions and configuration names.

Summary: https://github.com/horde/Rdo/compare/842e7b953cb5...443b72dd69ac

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

commit 443b72dd69acfd4dc5c8d2cb95ddca4238f8f814
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/Rdo/commit/443b72dd69acfd4dc5c8d2cb95ddca4238f8f814