Skip to content

#775 Fix deployment, for adding a new version to the '.versions' file on the website.

  • Don't crash if the new version is not yet present.

Closes #775 (closed)

Merge request reports