Merge proposals

rust-open in Ubuntu has no merge proposals.