Skip to content

fix: fix Maybe with future annotations#4031

Merged
patrick91 merged 2 commits intomainfrom
fix-future-maybe
Oct 18, 2025
Merged

fix: fix Maybe with future annotations#4031
patrick91 merged 2 commits intomainfrom
fix-future-maybe

Commits

Commits on Oct 18, 2025