Merge proposals

gcc-10-doc in Ubuntu has no merge proposals.