On Tue, 14 Aug 2012, Diego Novillo wrote:
> OK to install after the merge?

Yep, this looks good.  Thanks!

Gerald

Reply via email to