Merge proposals

gap-crystcat in Ubuntu has no merge proposals.