Merge proposals

gnats in Ubuntu has no merge proposals.