Skip to content

Rocq Call 2025 06 17

Matthieu Sozeau edited this page Jun 17, 2025 · 4 revisions

Topics

  • Status of evar_kinds and PR #20140 (Yann, 15min)
  • Rocq'n'share scheduling (Matthieu, 15min)

Roles

  • Chairman:
  • Secretary:
  • Attending: Yann

Notes

Clone this wiki locally