Closed romcheg closed 7 years ago
@cyberdelia this pull request does not bring any new features but should make the life easier both for you and developers.
The CI succeeded but did not report that to Github. Perhaps re-triggering the build will help