Update index.html remove will be released in june

coq / coq.github.io

Source files of the coq.inria.fr website

https://coq.inria.fr/

Other

15 stars 37 forks source link

Update index.html remove will be released in june #122

Closed thery closed 4 years ago

Zimmi48 commented 5 years ago

This solution is not entirely satisfying to me (the UPCOMINGVERSIONDATE variable does not serve any purpose anymore) but something needs to be done anyway. Letting @vbgl decide.

vbgl commented 5 years ago

You might want to put “July” instead of “June”. Or “summer”.

thery commented 5 years ago

@Zimmi48 @vbgl What about soon :wink:?

maximedenes commented 5 years ago

What's the current target date?

Zimmi48 commented 4 years ago

Obsolete