The Dune team is pleased to announce the release of dune 3.21.0.
This is a large release, including dozens of fixes, improvements, and additions, thanks to many contributors. See the full changelog for all changes and contributors.
If you encounter a problem with this release, please report it in our issues tracker.
We also note that @maiste has stepped away from the role of release manager: on behalf of the Dune team, I extend @maiste our thanks for his time doing this important work! 