Merge proposals

rust-no-std-net in Ubuntu has no merge proposals.