[commits] Horde branch master updated. 13422ebf72eee21db5fee3aa1af13da7fbbedae9

[Michael J. Rubinsky]

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

from: 95ef67d4c155e4bf822b5560a437ae9691e0ba20

13422eb Simplify slightly.

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

commit 13422ebf72eee21db5fee3aa1af13da7fbbedae9
Author: Michael J Rubinsky <mrubinsk at horde.org>
Date:   Sun Sep 2 13:15:54 2012 -0400

    Simplify slightly.

 nag/lib/Search.php |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

http://git.horde.org/horde-git/-/commit/13422ebf72eee21db5fee3aa1af13da7fbbedae9