Merge proposals

gap-openmath in Ubuntu has no merge proposals.