[commits] Util branch master updated. 580b297d29bf0ebe9f27978dd7f3cd624088a6e6

[jan at horde.org]

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

from: 8de9c2d4312d382a2bdbf739d947b0aebc4a3aee

580b297 Enable PHP 7.3 CI.

Summary: https://github.com/horde/Util/compare/8de9c2d4312d...580b297d29bf

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

commit 580b297d29bf0ebe9f27978dd7f3cd624088a6e6
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/Util/commit/580b297d29bf0ebe9f27978dd7f3cd624088a6e6