On Mon, Jul 12, 2010 at 07:06:41AM -0700, Daniel Burrows <dburrows at debian.org> was heard to say: > I can't see anything else that really needs to be changed right now, > so I guess it's almost ready to merge. And now it's merged. Daniel