On 1/6/14, Thomas Schwinge <thomas@codesourcery.com> 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. What happened to applying these? (I'd like to cherrypick them for the Debian package.)