Closed maxice8 closed 4 years ago
The header is not stable (it fetches from master), and it is fetched over the internet. Isn't it possible to have it vendored in deps ?
Thanks, that's fixed now
The header is not stable (it fetches from master), and it is fetched over the internet. Isn't it possible to have it vendored in deps ?