Merge proposals

cl-quri in Ubuntu has no merge proposals.