Discussion:
Older releases
Andrew Musselman
2017-04-17 16:57:49 UTC
Permalink
We have a new release in the dist server; I'm inclined to remove the 0.11
versions there and leave the 0.12 versions.

Any objections?

Loading...