Closed agritheory closed 3 months ago
@Alchez This should not have been merged yet, we need to document the new feature.
@agritheory Oh sorry, that's my bad. Should we add a label for requiring docs for next time?
@Alchez This should not have been merged yet, we need to document the new feature.