Mark Hindley: > Thanks. I will make the default 10. > > Is the patched version always that much slower or is that just related > to what else was going on at the time?
It is hard to estimate exactly because I cannot measure/influence the network congestion between the proxy and the Debian mirror. Anyway, I made other attempts and the patched version reached speed levels comparable or sometimes better than the 1.4.7. So I would not worry about any newly introduced slowness. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org