> Even though the NATIVE_SYSTEM_HEADER_DIR issue is still being discussed, > in either way we'll need this patch installed. Any objections?
Ok. But can you please create a PR and attach there all patches that I approve, but must wait until after your copyright assignment form will have been processed? Paolo
