Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Bump src_ext Dune to 1.6.3 #3887
Generally speaking, I view a build system upgrade as a reasonably major change -- there may be unexpected regressions or side effects that we don't anticipate. From a packagers perspective, newer versions of Dune may do something surprising that affects their packaging infrastructure and require some tweaks. A "recut" of a point release should be reserved for when we are absolutely sure there are no weird side effects (for example, documentation fixes or README changes or things of that nature).