[commits] ManageSieve branch master updated. 13149b9503f7734acf6d06c64c4c61a172e4ab3c

[jan at horde.org]

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

from: 8f3f4d844b74afd53f21009a13638288f6c9a37e

13149b9 Enable PHP 7.3 CI.

Summary: https://github.com/horde/ManageSieve/compare/8f3f4d844b74...13149b9503f7

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

commit 13149b9503f7734acf6d06c64c4c61a172e4ab3c
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/ManageSieve/commit/13149b9503f7734acf6d06c64c4c61a172e4ab3c