[commits] Horde branch master updated. c4f6d08c2555bf9b3f204a0110b9d127c9116802

[Michael J. Rubinsky]

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

from: 5a553b523c1b1cc009fd4d3c30f4feca81c3c884

861169e Shorter variable name.
c4f6d08 Better check for ensuring the device belongs to the user before wiping.

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

commit 861169e8db28ee1b5232cd21b998a363c0b209c7
Author: Michael J Rubinsky <mrubinsk at horde.org>
Date:   Thu Aug 8 00:16:13 2013 -0400

    Shorter variable name.

 horde/lib/Prefs/Special/Activesync.php |   24 ++++++++++++------------
 1 files changed, 12 insertions(+), 12 deletions(-)

http://git.horde.org/horde-git/-/commit/861169e8db28ee1b5232cd21b998a363c0b209c7

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

commit c4f6d08c2555bf9b3f204a0110b9d127c9116802
Author: Michael J Rubinsky <mrubinsk at horde.org>
Date:   Thu Aug 8 00:17:52 2013 -0400

    Better check for ensuring the device belongs to the user before wiping.

 horde/lib/Prefs/Special/Activesync.php |    8 ++++++--
 1 files changed, 6 insertions(+), 2 deletions(-)

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