On 09.11.2012 00:33, Nic Tippelt wrote: > On 09/11/12 08:32, Ralph Angenendt wrote: >> Where is that server located? We need that information for a) our mirror >> list and b) directing traffic from various location at it. > Terribly sorry Ralph, > > In the title Baltimore, MD! Okay, I think I could have seen that, too :) Sorry. Mirror has been added, it should show up shortly. Thanks for your support, Ralph