Merge proposals

gap-congruence in Ubuntu has no merge proposals.