Merge proposals

sagemath-database-polytopes in Ubuntu has no merge proposals.