Merge proposals

rust-rand-os in Ubuntu has no merge proposals.