I'm reopening this, because it seems that the problem causing this has been fixed (this is http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=286356).
Adam, what do you think? Can we re-enable it?
I'm reopening this, because it seems that the problem causing this has been fixed (this is http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 286356).
Adam, what do you think? Can we re-enable it?