Skip to content

Use latest ReScript 12 rc#172

Merged
nojaf merged 1 commit intomainfrom
12-rc
Nov 19, 2025
Merged

Use latest ReScript 12 rc#172
nojaf merged 1 commit intomainfrom
12-rc

Commits

Commits on Nov 19, 2025