On Mon, 20 Jun 2011 09:47:56 +0200, Sebastian Spaeth wrote: > The debian/control part, I would prefer it some maintainer would nod > off/merge that one. Fortunately, that's David himself, now. :-) This seems to all be pushed now. David, it would help me if you would send a note to the list when you've merged a patch series such as this one. Thanks, -Carl -- carl.d.worth@intel.com