On Fri, Sep 19, 2003 at 09:26:09PM +0200, Jan Nieuwenhuizen wrote: >Corinna Vinschen writes: > >> Jan, >> >> did you notice this? He's right, I just tried to unpack the file. > >Hmm, something went wrong when I uploaded the packages. -13 seems to >be an unlucky release, wonder why. > >I'm re-uploading -13 now (ETA: 20mins) it appears that wget was killed. >Maybe I should rsync for this. > >However, I don't know what your policy is. Can you overwrite -13 when >it arrives, or should I build a -14?
In this case, whatever is fastest, I think. Since no one managed to install -13, I think we should get something up ASAP. cgf