[commits] Db branch master updated. df5083195e2cf8dbd8c520c9ff3be481b77d5ba4

[jan at horde.org]

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

from: dae8bef0b59e278a65323e414246f065b98889e1

df50831 Enable PHP 7.3 CI.

Summary: https://github.com/horde/Db/compare/dae8bef0b59e...df5083195e2c

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

commit df5083195e2cf8dbd8c520c9ff3be481b77d5ba4
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/Db/commit/df5083195e2cf8dbd8c520c9ff3be481b77d5ba4