[commits] Horde branch develop updated. 5c01064ef50d24ecb5748a6fb2c7458f612c9bf4

[Michael J. Rubinsky]

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

from: 31fa60a1af33ce51677bfbbcd25a9bb3045bbe03

5c01064 I'm guessing 'Horde' should no longer be hidden?

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

commit 5c01064ef50d24ecb5748a6fb2c7458f612c9bf4
Author: Michael J Rubinsky <mrubinsk at horde.org>
Date:   Thu Jun 28 13:34:54 2012 -0400

    I'm guessing 'Horde' should no longer be hidden?
    
    Without this, things like "Global Prefs" will not show up in the topbar.

 horde/config/registry.php |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)

http://git.horde.org/horde-git/-/commit/5c01064ef50d24ecb5748a6fb2c7458f612c9bf4