Skip to content

Fix missing del_pred in rust client#310

Merged
deven96 merged 1 commit intomainfrom
diretnan/fix-del-pred
Mar 2, 2026
Merged

Fix missing del_pred in rust client#310
deven96 merged 1 commit intomainfrom
diretnan/fix-del-pred

Conversation

@deven96
Copy link
Owner

@deven96 deven96 commented Mar 2, 2026

No description provided.

@deven96 deven96 merged commit f736095 into main Mar 2, 2026
4 of 5 checks passed
@deven96 deven96 deleted the diretnan/fix-del-pred branch March 2, 2026 13:31
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