Closed SnarkBoojum closed 7 years ago
The 0.5.2 release doesn't appear in github's list of releases: perhaps you forgot to tag it?
OK, done.
The 0.5.2 release doesn't appear in github's list of releases: perhaps you forgot to tag it?