Skip to content

Conversation

@bertrand-lorentz
Copy link
Contributor

Notices with those versions are not accepted for publication any more, so the docs are not needed.

This PR should only be merged after the OK from Karl, as we want the current version of the site to be archived before we remove those pages.

Notices with those version are not accepted for publication any more, so
the docs are not needed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants