On 01/06/2014 04:56 PM, Thomas Schwinge wrote: > Hi! > > Sorry for the delay, and thanks for the patches you posted. Here are > three patches, based on yours, that I intend to apply if there are no > further comments. I have no further comments (other than saying that IWBN to have the rationale for the changes end up in the commit log). Thanks, -- Pedro Alves