Merge proposals

gadfly in Ubuntu has no merge proposals.