Gerald Pfeifer Tue, 14 Aug 2012 15:06:54 -0700
On Tue, 14 Aug 2012, Diego Novillo wrote: > OK to install after the merge?
Yep, this looks good. Thanks! Gerald