Closed pdiakumis closed 1 year ago
WIP. Fixes #104, fixes #105, and fixes #106.
Merging as discussed, we can bump its version to e.g. 0.5.0. The forced pushes are me winding back the version bumps for testing.
0.5.0
WIP. Fixes #104, fixes #105, and fixes #106.