On Fri, Nov 27, 2009 at 8:03 AM, Paolo Carlini <paolo.carlini@oracle.com> wrote: > Hi all, hi Gaby, > > a very simple patch for this diagnostic issue. Tested x86_64-linux. > > Ok for mainline? Yes, thanks! -- Gaby