Merge proposals

khronos-opencl-headers in Ubuntu has no merge proposals.