Closed grodin closed 3 months ago
Meant to open as draft. Disregard. Reopened as #537.
Closes #522
Draft PR to allow looking at the changed API and discussing it.
Meant to open as draft. Disregard. Reopened as #537.
Closes #522
Draft PR to allow looking at the changed API and discussing it.