On Mon, 20 Aug 2012, Diego Novillo wrote: > Sorry about the breakage. I committed another patch that fixed the > 4.1 build failure without messing up other builds. I am actually surprised how smoothly the transition has gone overall! Gerald