This repository was archived by the owner on Apr 23, 2021. It is now read-only.

Fixing a minor bug in the publish scripts