Skip to content

Map Lean's Option to Java's Optional in getIonSerializer%#53

Merged
keyboardDrummer merged 1 commit into
bot/ion-deserializerfrom
bot/fix-option-to-optional
Jun 30, 2026
Merged

Map Lean's Option to Java's Optional in getIonSerializer%#53
keyboardDrummer merged 1 commit into
bot/ion-deserializerfrom
bot/fix-option-to-optional

Map Lean's Option to Java's Optional instead of nullable T

f91ba8f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
update-review-labels
succeeded Jun 30, 2026 in 11s