Closed rgrinberg closed 5 years ago
Good point. I updated to 1.11 On Aug 5, 2019, 10:39 PM +0700, Jérémie Dimino notifications@github.com, wrote:
@diml commented on this pull request. In dune-project:
@@ -1,2 +1,22 @@ -(lang dune 1.1) +(lang dune 1.10) What do you think of using 1.11 here? We would get the better build command in the opam file. — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub, or mute the thread.
This allows us to use the latest fancy features from dune