Am 11.11.20 um 17:26 schrieb Pedro Lino:
On 11/11/2020 3:54 PM Matthias Seidel <[email protected]> wrote:I can't believe that after all the effort this release is going to fall short because Sourceforge doesn't have the servers. Currently the only options available are Auto-select SourceForge (San Diego, California, US) You can't even choose the mirror manually!
wow, thats not good. Previously we had 12 (?) mirrors. So, the availability was much, much better. Now it's a kind of lottery if you get the download file.
Marcus --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
