Ppxlib dev meetings

Hello :slight_smile:

Tomorrow, concretely 2023-11-21T17:00:00Z, is our monthly ppxlib dev meeting. Here’s what we currently have on the agenda:

We’re making it a zoom meeting this time, so the meeting link is different than usual. Here it is:
Launch Meeting - Zoom

2 Likes