See #10 for background.
Activity
MatteoArella commentedon Jul 23, 2020
@gavv can we close this?
gavv commentedon Jul 26, 2020
I think yes. BTW we should remember to remove 0.0.1 when we'll make the first "real" release.