Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Bug #4401 was `(promote until-clean)` rules being incorrectly ignored by `--ignore-promoted-rules`. PR #5956 fixed it but only made the fix available to newer projects. This means that projects must update their dune versions before users can actually build this project without being affected by this bug. Since this bug fix doesn't have much the potential to break anything, we make the fix available to all versions. Signed-off-by: Rudi Grinberg <[email protected]> <!-- ps-id: 82b639c6-a417-4ae8-8cd2-fae02849ea83 -->
- Loading branch information