Suggestion to record calls in some private channel. Using webex?
TODO: Write the Coq Call guidelines on the Coq Calls page
Voting process: ok from Hugo and Guillaume.
Hugo makes the point that we should at least reach a consensus on the
consequences of a choice before we take a decision or even a vote.
OCaml 5.0.
no-naked-pointers not an issue anymore if we disable native compilation
retargeting native-compilation to use malfunction might be the way to go
Next Coq WG: 30th of january - 10th of february doodle