Marco: Can we please do a resolvconf release? This is needed to close a severity-serious bug, #477752. What's in the repo now should be good to go once the Version is updated in debian/changelog. -- Thomas