Skip to content

Fix the build for 4.02-4.04 on macOS and for 4.02-4.10 with MSVC on Windows#8

Open
dra27 wants to merge 5 commits intoocaml:trunkfrom
dra27:old
Open

Fix the build for 4.02-4.04 on macOS and for 4.02-4.10 with MSVC on Windows#8
dra27 wants to merge 5 commits intoocaml:trunkfrom
dra27:old

Commits

Commits on Jul 25, 2022