Merge proposals

gap-guava in Ubuntu has no merge proposals.