Merge proposals

rust-anes in Ubuntu has no merge proposals.