Ppxlib dev meetings

The October ppxlib meeting is today. We only have a short agenda for this month so far:

Agenda:

Like always, anyone is invited to join: https://meet.google.com/yxw-ejnu-cju . It’s starts 2023-10-17T16:00:00Z.

1 Like