On Thu, 6 Feb 2014, Carlos O'Donell wrote: > This looks good to me. > > If it's considered a bug, please check this in immediately and CC Allan > to keep him in the loop for these last minute bug fixes. It's certainly not a bug fix and is completely inappropriate for 2.19. -- Joseph S. Myers joseph@codesourcery.com