Merge pull request #21883 from emillon/dune-3.4.0-cygwin-32
dune.3.4.0: does not work on 32 bit cygwin
Kate 3 years ago 08f48cb7 59a65e14
··· 56 56 ] 57 57 } 58 58 x-commit-hash: "261966294b37f7c88973207944338b79b2ad27f8" 59 59 + available: !(os = "cygwin" & arch = "x86_32")