]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ef520bd b384692)
Rollup merge of #107632 - ameknite:issue-107622-fix, r=jyn514
authorMichael Goulet <michael@errs.io>
Fri, 3 Feb 2023 22:15:24 +0000 (14:15 -0800)
committerGitHub <noreply@github.com>
Fri, 3 Feb 2023 22:15:24 +0000 (14:15 -0800)
Clarifying that .map() returns None if None.

Fix #107622


Trivial merge
Empowering everyone to build reliable and efficient software.