Merge proposals

gap in Ubuntu has no merge proposals.