[PUSHED][PATCH] Local help correction

[Michael Stahl]

On 07/06/13 15:23, Caolán McNamara wrote:
> On Fri, 2013-06-07 at 14:14 +0200, Stanislav Horáček wrote:
>> I'm sorry, but I don't see the change in recent commits.
>> Am I missing something?
> 
> humph, I clearly did something stupid. I have a clear memory of pushing
> it, but no sign of it.

is it possible it got lost by one of the many accidental git submodule
reversals?

"if you want to believe the guy who created the git UI to be some
 sort of UI genius, I've got a bridge I'd like to sell you." -- airlied