Skip to content

Stdlib: Mirror IO_BUFFER_SIZE and UNIX_BUFFER_SIZE in the stdlib and unix lib#13589

Open
EruEri wants to merge 1 commit intoocaml:trunkfrom EruEri:io-unix-buffer-size-stdlib

Commits

Commits on Nov 4, 2024