On Fri, 28 Sep 2012, Milan Bouchet-Valat wrote: > Glad to know this problem will no longer exist in the future.
To ensure that, the model of mirror selection should be reworked: if user wants, he may state his preferences, but by default the mirror should be chosen automatically and if the mirror is not accessible a new one should be tried. -- Regards, ASK ______________________________________________ R-devel@r-project.org mailing list https://stat.ethz.ch/mailman/listinfo/r-devel