[commits] Horde branch master updated. 8635de3e6126424f160c7acf7e9f4c85804a7cba

[Michael J. Rubinsky]

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

from: adc88e1884bad80c9c6794846adaea44385bfd0f

8635de3 Ensure the object id is cast to a string.

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

commit 8635de3e6126424f160c7acf7e9f4c85804a7cba
Author: Michael J Rubinsky <mrubinsk at horde.org>
Date:   Fri Oct 26 13:09:24 2012 -0400

    Ensure the object id is cast to a string.
    
    Possible fix for Bug: 11479

 content/lib/Objects/Manager.php |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)

http://git.horde.org/horde-git/-/commit/8635de3e6126424f160c7acf7e9f4c85804a7cba