Merge proposals

gap-cryst in Ubuntu has no merge proposals.