Hi, I'm planning on upgrading dillon.debian.org to stretch some time over the coming week. Please check afterwards that what you're running there is still happy. Thanks, Julien