On Wed, Feb 24, 2021 at 10:29:15AM +0100, Philippe Mathieu-Daudé wrote: > Just to inform the files hosted on github don't work when > testing from China:
> > raw.githubusercontent.com resolves to 127.0.0.1 And from where does this come from? Your local system, your ISP, ... ? Thanks Michal
