Package: release.debian.org Severity: normal User: release.debian.org@packages.debian.org Usertags: binnmu Control: block 837567 by -1 nmu mlton_20100608-5.1 . ANY . unstable . -m "Recompile static libraries with PIE" RC bug #837567 should be closed when the binNMUs are in unstable.