Merge proposals

rust-sha3-0.9 in Ubuntu has no merge proposals.