Re: Compilation error between SVN trunk revision 190444 and 190442

[Gerald Pfeifer]

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