Merge proposals

rust-stable-deref-trait in Ubuntu has no merge proposals.