I've filed http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=644609 for the robustness problems in debmirror.
I've filed http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 644609 for the robustness problems in debmirror.