Skip to content

Remove option_map_or_none allowance - #580

Merged
stepchowfun merged 1 commit into
mainfrom
remove-option-map-or-none-allow
Sep 18, 2026
Merged

stepchowfun merged 1 commit into
mainfrom
remove-option-map-or-none-allow

Remove option_map_or_none allowance

7b4e890
Select commit
Loading
Failed to load commit list.
Sign in for the full log view