Skip to content

#437 Website deployment: fix updating the '.versions' file.

Addresses #437 (closed)

Merge request reports