[commits] History branch master updated. 8c15b5d1731fd0897bc92930048eb28bb21d78fb

[jan at horde.org]

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

from: ab6b996f919cfb6b72188d458630831488fab6ae

8c15b5d Update supported PHP versions and configuration names.

Summary: https://github.com/horde/History/compare/ab6b996f919c...8c15b5d1731f

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

commit 8c15b5d1731fd0897bc92930048eb28bb21d78fb
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/History/commit/8c15b5d1731fd0897bc92930048eb28bb21d78fb