It’s fixed now.

Before it worked.

  • SteveTech@programming.devEnglish
    4·
    6 days ago

    It seems like it’s fixed now, but if possible use one of the mirrors, so everyone’s not hitting that one server all that hard, it’s usually faster too.

    Or even better, use the torrent.