Hi, The upgrade is now done. Please let DSA know (preferably either on IRC in #debian-admin or via a new ticket) if you spot any issues. Regards, Adam