Skip to content

drop support of polars#43

Merged
rtbo merged 1 commit into
mainfrom
drop-polars
May 27, 2026
Merged

drop support of polars#43
rtbo merged 1 commit into
mainfrom
drop-polars

Conversation

@rtbo
Copy link
Copy Markdown
Owner

@rtbo rtbo commented May 27, 2026

not even used by the python bindings.

@rtbo rtbo merged commit 5080d3d into main May 27, 2026
2 checks passed
@rtbo rtbo deleted the drop-polars branch May 27, 2026 06:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant