Merge proposals

rust-progressing in Ubuntu has no merge proposals.