Merge proposals

rust-version-sync in Ubuntu has no merge proposals.