Skip to content

Truncate instead failing if string is too long in writer - #304

Open
zoltanjuhasz wants to merge 1 commit into
janestreet:masterfrom
zoltanjuhasz:allow_long_sym_names
Open

Truncate instead failing if string is too long in writer#304
zoltanjuhasz wants to merge 1 commit into
janestreet:masterfrom
zoltanjuhasz:allow_long_sym_names

Commits

Commits on Oct 1, 2024