[commits] Push branch master updated. 782411b4a18117b6c277e0197ce0123440f22ad1

[jan at horde.org]

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

from: d07126a811801a8879ecb7dde28211075ce132e7

782411b Enable PHP 7.3 CI.

Summary: https://github.com/horde/Push/compare/d07126a81180...782411b4a181

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

commit 782411b4a18117b6c277e0197ce0123440f22ad1
Author: Jan Schneider <jan at horde.org>
Date:   Fri, 26 Oct 2018 22:19:27 +0200

Enable PHP 7.3 CI.

 M .travis.yml

https://github.com/horde/Push/commit/782411b4a18117b6c277e0197ce0123440f22ad1