Ok, I see, I've removed that file and pushed the timestamp of the master mirror. I don't know how to get the correct file, so that's all I can do…
On Thu, Jan 24, 2019 at 12:44 PM Jeroen Demeyer <[email protected]> wrote: > On 2019-01-24 12:20, Harald Schilly wrote: > >there is only the master server with the main (presumably correct) > > file. > > It's NOT correct in this case (see the other posts in this thread). The > file genuinely has to be uploaded again to the master server. > > And probably there is nothing wrong with that specific mirror, please > unblock it. > > -- > You received this message because you are subscribed to the Google Groups > "sage-release" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/sage-release. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.
