Skip to content

Add a take method to Optional#411

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

Commits

Commits on Dec 29, 2023