The Dune team announces the release of dune 3.21.1.
This is a small patch release consisting of a few bug fixes. See the full changelog for all the changes.
If you encounter a problem with this release, please report it in our issue
tracker.
1 Like