[commits] Routes branch master updated. 516cfd3ab311571cbec2c3fa71c938f1c083783d

[jan at horde.org]

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

from: 8ecf8142d7dd0ca1d1077ecf8b6a7527ebd4e029

516cfd3 Enable PHP 7.3 CI.

Summary: https://github.com/horde/Routes/compare/8ecf8142d7dd...516cfd3ab311

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

commit 516cfd3ab311571cbec2c3fa71c938f1c083783d
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/Routes/commit/516cfd3ab311571cbec2c3fa71c938f1c083783d