[commits] Rdo branch master updated. 9f3ed15c5e6a7b910b0fa37aa3052e6ddc689b5f

[jan at horde.org]

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

from: 4a94131cf2e221c4f07f76b75b77d56147b2d81a

c44100c PEAR on 5.6 and 7.0 is fixed.
9f3ed15 Enable 7.2 builds.

Summary: https://github.com/horde/Rdo/compare/4a94131cf2e2...9f3ed15c5e6a

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

commit c44100c8c5a445391134cd8723f0a880465402f0
Author: Jan Schneider <jan at horde.org>
Date:   Tue, 24 Oct 2017 14:03:45 +0200

PEAR on 5.6 and 7.0 is fixed.

 M .travis.yml

https://github.com/horde/Rdo/commit/c44100c8c5a445391134cd8723f0a880465402f0

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

commit 9f3ed15c5e6a7b910b0fa37aa3052e6ddc689b5f
Author: Jan Schneider <jan at horde.org>
Date:   Tue, 24 Oct 2017 14:05:14 +0200

Enable 7.2 builds.

 M .travis.yml

https://github.com/horde/Rdo/commit/9f3ed15c5e6a7b910b0fa37aa3052e6ddc689b5f