[commits] Stream_Filter branch master updated. 9c21c22575ae190bb9d7b4842755b74e43f6a88a

[jan at horde.org]

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

from: 5bf1f90e5966f3b3bc9f652704477adca43fc216

9c21c22 Enable PHP 7.3 CI.

Summary: https://github.com/horde/Stream_Filter/compare/5bf1f90e5966...9c21c22575ae

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

commit 9c21c22575ae190bb9d7b4842755b74e43f6a88a
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/Stream_Filter/commit/9c21c22575ae190bb9d7b4842755b74e43f6a88a