v0.10.0

Latest

Latest

gaborigloi released this 31 Jul 12:30

· 22 commits to master since this release

6ab894f

Remove unused cpuid_check
Fix linking with -lxentoollog
Fix compilation on CentOS 7: add libuuid-devel as a depext to the opam file

Assets 2