[commits] Push branch master updated. d07126a811801a8879ecb7dde28211075ce132e7

[jan at horde.org]

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

from: bb85a65af1d46311ea74bb6581520da42aa66e6d

7f840af Fix getting exit code on PHP 7.2+.
d07126a Update package definitions.

Summary: https://github.com/horde/Push/compare/bb85a65af1d4...d07126a81180

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

commit 7f840af339a7be8e9a20832dfeccc60f8d499dfe
Author: Jan Schneider <jan at horde.org>
Date:   Mon, 13 Nov 2017 18:15:33 +0100

Fix getting exit code on PHP 7.2+.

 M .travis.yml

https://github.com/horde/Push/commit/7f840af339a7be8e9a20832dfeccc60f8d499dfe

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

commit d07126a811801a8879ecb7dde28211075ce132e7
Author: Jan Schneider <jan at horde.org>
Date:   Mon, 13 Nov 2017 18:17:16 +0100

Update package definitions.

 M composer.json
 M package.xml

https://github.com/horde/Push/commit/d07126a811801a8879ecb7dde28211075ce132e7