Merge proposals

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