[commits] Horde branch master updated. 8f96b111d2fe9bc14042082328f6f143e86f2b13

[Michael J. Rubinsky]

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

from: 5ef80a1c487eadb57ebaec40c26da276d176443b

8f96b11 Only save deviceProperties, since we are blocking the device, not a user.

Summary: http://github.com/horde/horde/compare/5ef80a1c487eadb57ebaec40c26da276d176443b...8f96b111d2fe9bc14042082328f6f143e86f2b13

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

commit 8f96b111d2fe9bc14042082328f6f143e86f2b13
Author: Michael J Rubinsky <mrubinsk at horde.org>
Date:   Mon May 19 12:54:20 2014 -0400

    Only save deviceProperties, since we are blocking the device, not a user.

 horde/admin/activesync.php |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)

http://github.com/horde/horde/commit/8f96b111d2fe9bc14042082328f6f143e86f2b13