Ports "make fetchindex" still getting outdated INDEX-9

[Jim Pingle]

>> On 13 Dec 2012 16:57, "Jim Pingle" wrote:
>>     I saw a thread last month about the servers that build INDEX
files being
>>     down since the security incident - is that still the case?
>
> On 12/13/2012 6:35 PM, Simon L. B. Nielsen wrote:
> I had forgotten about it again. I will try and to get it fixed within
> the next couple of days.

Fantastic! I (and I'm sure many others) appreciate the effort.

Thanks,
Jim