On Sun, 16 Oct 2011 22:34:29 +0200, Thomas Schwinge <thomas@schwinge.name> wrote: > Having worked in the same area ;-), I felt competent to review this. And > I definitely do like David's approach. The patches look good, with the > following comments: Thanks for the review. I pushed a modified version of the series which I think fixed all of the things you noticed. d