v4.0.0-dev.5
Pre-release
Pre-release
·
178 commits
to dev
since this release
4.0.0-dev.5 (2023-10-04)
Bug Fixes
- Only set options for filtered patches (64d9127)
Performance Improvements
- Do not check, if the options file exists twice (e3c5550)