Damien Cassou writes: >> The GitHub /archive/ URL's are not stable: the tarballs they generate >> may get regenerated in the future with different timestamps and break >> the checksum. So please continue using git-fetch here. >> >> Can you send an updated patch? TIA! > > here it is. Pushed in 1ace39da78dc076f60542ad7729a29f2f6760076, thanks!