Skip to content

Update dune-project to fix build issue with recent dune versions#2

Open
mseri wants to merge 2 commits intodc-mak:masterfrom
mseri:patch-1
Open

Update dune-project to fix build issue with recent dune versions#2
mseri wants to merge 2 commits intodc-mak:masterfrom
mseri:patch-1

Commits

Commits on Jan 21, 2023