Gabriel Scherer

@dbuenzli do you feel that the platform mailing-list is not appropriate for this? Do you have in mind discussions that make sense across build systems (eg. on sharing work or...

Is it a big issue if the Windows port does not implement ERRORCHECK and deadlocks instead? My impression was that ERRORCHECK is there to catch programming errors (in particular, this...

> We ran multicoretests for [MinGW-w64](https://github.com/ocaml-multicore/multicoretests/actions/runs/10671106341/job/29576298656) and [MSVC](https://github.com/ocaml-multicore/multicoretests/actions/runs/10671106338/job/29576298767) (it's https://github.com/ocaml-multicore/multicoretests/pull/473 soon) This is what I was hoping to hear, and I'm convinced that this is a strong argument in favor...

Okay, okay! As long as people review this carefully, either approaches are fine.

Consensus from the maintainer meeting: okay to move forward, @dra27 volunteers to review it.

I haven't seen an explicit approval by @eutro (the meaning being something like "I've looked at this in details, I don't see any remaining issue, and I think this should...

I'd like another discussion (online or offline) with @xavierleroy about whether he agrees with the design.

I forgot to discuss this with @xavierleroy, and I'm afraid this has stalled the PR. My current thinking is as follows: - The current use of winpthreads makes code somewhat...

I propose to go ahead and merge then. (Xavier mentioned that he needed convincing, but I see that later on we discussed this in a dev-meeting and decided that it...

I started a `precheck` job for this PR: https://ci.inria.fr/ocaml/job/precheck/1066/