Re: [PATCH] {master} missing: better tips about missing tools

[Stefano Lattarini]

On 06/23/2012 10:39 AM, Dave Hart wrote:
> 
> Looks like a nice improvement, thanks.
> 
Glad you like it.  I will push by tomorrow if there is no further feedback.

Thanks,
  Stefano