Merge pull request #83 from mirage/v0.7.2

Prepare minor release v0.7.2
mirage · May 17, 2019 · 424f2bb · 424f2bb
2 parents bff304c + 1131687
commit 424f2bb
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,11 @@
+### v0.7.2 2019-05-16 Paris (France)
+
+- Add conflict with `< mirage-xen-posix.3.1.0` packages (@hannesm)
+- Add a note on README.md about the linking-trick and order of dependencies (@rizo)
+- Use experimental feature of variants with `dune` (@dinosaure, review @rgrinberg)
+
+  `digestif` requires at least `dune.1.9.2`
+
 ### v0.7.1 2018-11-15 Paris (France)
 
 - Cross compilation adjustments (@hannesm) (# 76)