Merge proposals

pike7.8 in Ubuntu has no merge proposals.