Merge proposals

crimson in Ubuntu has no merge proposals.