https://coq.inria.fr/news/ does not mention 8.9+beta1

coq / coq.github.io

Source files of the coq.inria.fr website

https://coq.inria.fr/

Other

15 stars 37 forks source link

Closed JasonGross closed 5 years ago

JasonGross commented 5 years ago

It does mention 8.8+beta1, and the newest is 8.8.2. I think it should mention 8.9+beta1.

Zimmi48 commented 5 years ago

Looks like @silene forgot to merge #80. @silene should we go ahead and merge this?

silene commented 5 years ago

I was waiting for people to give me the description they wanted for the release. I have now merged it without any meaningful description.