Closed caryoscelus closed 7 years ago
Or it will get bloated very fast. One option would be to store them in github's releases.
I would actually suggest we remove them now and do force push before it's too late.
Fixed in a series of commits to master: f73aa48386728390e1e5862f4ec038cb378ab3f3 being the last.
Or it will get bloated very fast. One option would be to store them in github's releases.