BTW the stretch release date is soon: https://lists.debian.org/debian-devel-announce/2017/05/msg00002.html
The deadline for fixing this is June 9th and you'll need to file an unblock request, asking them to reduce the default migration time of 10 days. I'm not sure if this bug warrants raising the severity to grave, but please do that if appropriate. X -- GPG: ed25519/56034877E1F87C35 GPG: rsa4096/1318EFAC5FBBDBCE https://github.com/infinity0/pubkeys.git -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers
