Skip to content

Add a take method to Optional#411

Merged
phil-opp merged 1 commit intomainfrom
optional-take
Dec 29, 2023
Merged

Add a `take` method to `Optional`#411
phil-opp merged 1 commit intomainfrom
optional-take

Commits

Commits on Dec 29, 2023