[commits] Perms branch master updated. 8c58b3088a20b0e88896fc3017d462697474f8db

[jan at horde.org]

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

from: 1fe5b2a0d237945f694b264454c07ce09ea66d6c

8c58b30 Enable PHP 7.3 CI.

Summary: https://github.com/horde/Perms/compare/1fe5b2a0d237...8c58b3088a20

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

commit 8c58b3088a20b0e88896fc3017d462697474f8db
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/Perms/commit/8c58b3088a20b0e88896fc3017d462697474f8db