Please make sure to follow the Contributing wiki instructions.
Note to Khronos members: please submit patches through Khronos Gerrit. Github pull requests are for general public only.