Just adding what I said to Simon privately: the patch looks ok, but I need a real debdiff to review it properly (from current Debian version to the new Ubuntu version).
Just adding what I said to Simon privately: the patch looks ok, but I need a real debdiff to review it properly (from current Debian version to the new Ubuntu version).