Merge proposals

fiat in Ubuntu has no merge proposals.