Skip to content

Add maintenance-intent in dune-project file#351

Open
balat wants to merge 1 commit intomasterfrom
maintenance
Open

Add maintenance-intent in dune-project file#351
balat wants to merge 1 commit intomasterfrom
maintenance

Commits

Commits on Dec 9, 2025