Closed stephanmg closed 10 months ago
We now have a Zenodo DOI, shall we close this @stephanmg ?
@dilpath yes, can be closed. (is now)
We now have a Zenodo DOI, shall we close this @stephanmg ?