Windows build fixes (MSYS2, Cygwin, etc.)#112

Open

dra27 wants to merge 8 commits intoocaml:masterfrom

dra27:win-fixes

Commits on Oct 10, 2025

Missing .gitignore patterns
dra27
committed

Commits on Dec 1, 2025