Skip to content
GitLab
2.71.7
erwan's avatar
erwan
@jahier
9989e565 · Chore: rely more on dune and less on make for the build ·
Release 2.71.7 
Release 2.71.7

Chore

  • rely more on dune and less on make for the build (9989e56)