0.20.0 is not tagged

[ojab]

Since 0.19.0 was released on 0.19.0 commit, I suppose that version-bump should happen on release time. There is 0.20.0 commit in the repo c919603, but no tag/release.

[Linus Eriksson]

@maxbrunsfeld how do releases work here? Can I just tag 0.20.0 from the commit and push it? Or is there something else to take into account?

[Jakub Jirutka]

Can I just tag 0.20.0 from the commit and push it?

Yes. Can you please do it?

[Akim Demaille]

Please, tag this release. We have whole CIs jammed because of this.

Thanks in advance!