Closed GiulioRomualdi closed 1 year ago
@GiulioRomualdi I moved the changelog line out of 8.0.0 that was already released. I also added the 8.0.1 release in the CHANGELOG so that we can do a release quickly after this fix.
There are some failures in CI, but they are unrelated and related to https://github.com/actions/runner-images/issues/675 instead.
This fixes #1043