Merge proposals

rust-console in Ubuntu has no merge proposals.