[commits] Horde branch master updated. d90470babf4ed738213073f32030514ade0af425

[Michael J. Rubinsky]

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

from: 813ad65bee1954c1fc2ccb4da5ca421644811a10

b87d3ba Fix phpdoc
d90470b Fix OPTIONS request failing on devices that don't send DevId with it.

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

commit b87d3ba22a42ea8720fad2d1f4532b5281d088b6
Author: Michael J Rubinsky <mrubinsk at horde.org>
Date:   Mon Mar 11 10:57:56 2013 -0400

    Fix phpdoc

 framework/ActiveSync/lib/Horde/ActiveSync/State/Sql.php |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

http://git.horde.org/horde-git/-/commit/b87d3ba22a42ea8720fad2d1f4532b5281d088b6

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

commit d90470babf4ed738213073f32030514ade0af425
Author: Michael J Rubinsky <mrubinsk at horde.org>
Date:   Mon Mar 11 11:11:25 2013 -0400

    Fix OPTIONS request failing on devices that don't send DevId with it.

 framework/ActiveSync/lib/Horde/ActiveSync.php |    8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)

http://git.horde.org/horde-git/-/commit/d90470babf4ed738213073f32030514ade0af425