Merge proposals

wclang has no merge proposals.