Merge proposals

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