2017-11-27 3:42 GMT+01:00 James Almer <jamrial at gmail.com>: > No comments about the code, but given this patchset has started a policy > controversy I'll state I'm in favor of including this external header. Will the header work for operating systems other than Windows? Carl Eugen