On su, 2007-05-27 at 18:05 +0100, Neil Williams wrote: > That would be very handy! The default could then be the > closest/quickest primary mirror. It would be important (from my > perspective) that this default is required to be a primary mirror - > maybe offer the user only the list of primaries and don't allow manual > editing.
That would be a very unfortunate requirement from my point of view. I have a personal mirror and would prefer not to have to continue to configure ever instance of every tool to use it. -- Fun is productive -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
