Skip to content

Revert "increase version"

This reverts commit 12de068f.

That commit was pushed without review and broke the CI, and no fix has been forthcoming in the month since then. Since nobody seems to know how to fix it, let's revert that commit until it can be re-introduced in a way that doesn't break the CI.

Alternatively, @mlaurent, could you find a way to fix the CI with that change?

Merge request reports