[commits] Pgp branch master updated. cde07e9d6dc3ee1bd8b0003f8c19f09e9ebc3970

[jan at horde.org]

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

from: d9b39b69826eeb3457af4416d1545c197ad2360e

cde07e9 Enable PHP 7.3 CI.

Summary: https://github.com/horde/Pgp/compare/d9b39b69826e...cde07e9d6dc3

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

commit cde07e9d6dc3ee1bd8b0003f8c19f09e9ebc3970
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/Pgp/commit/cde07e9d6dc3ee1bd8b0003f8c19f09e9ebc3970