[commits] Rdo branch master updated. ac8a9672143ccb6115c3db163ade0dac6f8c859c

[jan at horde.org]

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

from: 5d16dda64ed249400b18ba4f62fcbcd3443d9d83

ac8a967 Enable PHP 7.3 CI.

Summary: https://github.com/horde/Rdo/compare/5d16dda64ed2...ac8a9672143c

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

commit ac8a9672143ccb6115c3db163ade0dac6f8c859c
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/Rdo/commit/ac8a9672143ccb6115c3db163ade0dac6f8c859c