Merge proposals

pen in Ubuntu has no merge proposals.