Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #5481 from hannes-steffenhagen-diffblue/fix/wrong-…
…dependency-in-ubuntu-package Fix wrong package name in release build
- Loading branch information