Merge proposals

rust-thin-vec in Ubuntu has no merge proposals.