2.1.0

dinosaure released this 01 Feb 12:14

· 15 commits to main since this release

CHANGES:

Lint the OPAM file (@hannesm, #88)
Replace OS by Xen_os (@dinosaure, #89)

Contributors

hannesm and dinosaure

Assets 3