Merge proposals

rust-ciborium in Ubuntu has no merge proposals.