Merge proposals

gap-gdat in Ubuntu has no merge proposals.