On Thu, Nov 6, 2008 at 7:04 PM, Michael Stone <michael at laptop.org> wrote: > Simon, > > The patch looks fine to me but I'm headed off to UY, so it would > probably be best if someone else did the packaging. Done, and updated bug #8850 for when you get back. Daniel