[commits] Prefs branch master updated. 1a6742106e21e714157f91b63976f462707b4697

[jan at horde.org]

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

from: 115cb8e66311158dbefae25ac8fae6c84f78178f

1a67421 Enable PHP 7.3 CI.

Summary: https://github.com/horde/Prefs/compare/115cb8e66311...1a6742106e21

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

commit 1a6742106e21e714157f91b63976f462707b4697
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/Prefs/commit/1a6742106e21e714157f91b63976f462707b4697