[commits] History branch master updated. 1c7e48ceb11763f54bafd61ca28877551ee19f20

[jan at horde.org]

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

from: 86d4133b651b5dd5f1391bdf0ad544b96c4fec74

1c7e48c Enable PHP 7.3 CI.

Summary: https://github.com/horde/History/compare/86d4133b651b...1c7e48ceb117

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

commit 1c7e48ceb11763f54bafd61ca28877551ee19f20
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/History/commit/1c7e48ceb11763f54bafd61ca28877551ee19f20