Hi Thomas, > > I'd like to commit the attached patch as obvious within the next 24 hours > > unless anybody objects, or earlier if there is positive feedback. > > OK with a ChangeLog entry and the correct PR numbers (I believe > they are 103137 and 103138) :-)
I think I had really fat fingers when typing the subject of the mail. The ChangeLog was actually fine. :-) > Best regards > > Thomas > Thanks, Harald