On 18.05.2018 20:59, Nico Huber wrote:
Well, my vote, in order of preference:
- Poke Intel.
- Get a verbatim copy of the GitHub headers in (in a way of effort for
* least effort
the community). Maybe in a month from now? no matter the outcome
from 1.
Nico
