[commits] Horde branch master updated. 9dcb9d645ba15c9a0e9820c681fc32180bb59e0b

[Michael J. Rubinsky]

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

from: b03aeeb1644700b841d8889aeba8c8b54dc0ba33

9dcb9d6 Temporarily check if we are running out of a split repo or monolithic.

Summary: http://github.com/horde/horde/compare/b03aeeb1644700b841d8889aeba8c8b54dc0ba33...9dcb9d645ba15c9a0e9820c681fc32180bb59e0b

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

commit 9dcb9d645ba15c9a0e9820c681fc32180bb59e0b
Author: Michael J Rubinsky <mrubinsk at horde.org>
Date:   Wed May 10 12:06:41 2017 -0400

    Temporarily check if we are running out of a split repo or monolithic.

 framework/Core/lib/Horde/Core/Db/Migration.php | 4 ++++
 1 file changed, 4 insertions(+)

http://github.com/horde/horde/commit/9dcb9d645ba15c9a0e9820c681fc32180bb59e0b