Hi
>Thanks a lot ! I had no time to work on this issue. Feel free to directly >upload your changes (I would even upload it with urgency=high). thanks! I rescheduled to deferred/0, it should go in in a few minutes :) I don't change the urgency because I would like to avoid having to git push -f and dcut/git clone the repo and so on it is a new package, and this is a new release, 5 days should already be enough :) thanks! G.
