unnecessary_map_or: fix version for lint addition#13733

Centri3 merged 1 commit intorust-lang:masterrust-lang/rust-clippy:masterfrom

samueltardieu:push-ooymwyxrnyrmsamueltardieu/rust-clippy:push-ooymwyxrnyrmCopy head branch name to clipboard