Skip to content

Merge branch 'master' into dune-project

572404d
Select commit
Loading
Failed to load commit list.
Open

dune-project multiple changes: required lablgtk version, generate opam files, update generated files #671

Merge branch 'master' into dune-project
572404d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs