Closed wschlich closed 7 years ago
It seems there's no release archive for version 0.8 on github. Is this on purpose?
Dear Wolfram,
since release 0.7 the only commits were Bump version number to 0.8 Add maintainer instructions
As no code was changed I did not create a new release.
Best regards
Heinrich Schuchardt
It seems there's no release archive for version 0.8 on github. Is this on purpose?