[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: http://www.debian.org/ pulls up Developer's Corner

Darren Benham wrote:
> Actually, it's 9th out of 10 (or maybe 11, depending on what the spanish(?) one
> said)...  The problem should be taken care of.  The output path was set wrong
> on the developer's corner index page... :(  Now we need the mirroring/making to
> take place....  or someone to "force" it.
> On 10-Oct-98 Robert Woodcock wrote:
> > This is probably the 30'th email you've gotten about this, but if it isn't,
> > now you know :)

It's back now.



Beware of bugs in the above code; I have only proved it correct,
not tried it.  -- Donald E. Knuth

Reply to: