dev meeting 2024 09 04

Jump to bottom Edit New page

Etienne Marais edited this page Sep 3, 2024 · 5 revisions

Attendees:

Agenda

Discussion on package or pkg commands. How should we handle it.
Discuss assessing some Terminologies: dune-projects, dev-tool, dev-tools.
Auto re-locking: reminder about the blockers and if there are some possible solutions.