Merge proposals

mangler in Ubuntu has no merge proposals.