Skip to content

Add java.util.OptionalInt - #41

Merged
tautschnig merged 1 commit into
masterfrom
model-optionalint
Nov 4, 2026
Merged

tautschnig merged 1 commit into
masterfrom
model-optionalint

Commits

  1. Commits on Nov 4, 2026