Merge proposals

rust-quinn-proto in Ubuntu has no merge proposals.