[commits] Horde branch master updated. 1dd580483ee74e84c99bec3a3b77e7562084fe05

[Michael J. Rubinsky]

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

from: 1e41d004f9fd6e0ac606636b5454e9b211c5f1a5

1dd5804 Bug: 13687  Avoid harmless PHP warning.

Summary: http://github.com/horde/horde/compare/1e41d004f9fd6e0ac606636b5454e9b211c5f1a5...1dd580483ee74e84c99bec3a3b77e7562084fe05

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

commit 1dd580483ee74e84c99bec3a3b77e7562084fe05
Author: Michael J Rubinsky <mrubinsk at horde.org>
Date:   Wed Nov 12 13:15:12 2014 -0500

    Bug: 13687  Avoid harmless PHP warning.

 framework/ActiveSync/lib/Horde/ActiveSync/Device.php |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

http://github.com/horde/horde/commit/1dd580483ee74e84c99bec3a3b77e7562084fe05