Closed james-d-mitchell closed 1 year ago
@hivert in the 0.0.7 release the version numbers were not updated in the VERSION file or in the README.md. This PR updates the version numbers to facilitate a further release.
VERSION
README.md
I've also included a simple bash/python script that checks if list_intrin.txt is up to date and correct.
list_intrin.txt
@hivert in the 0.0.7 release the version numbers were not updated in the
VERSION
file or in theREADME.md
. This PR updates the version numbers to facilitate a further release.