Skip to content

Update pearl to v0.20.0#848

Merged
ikopylov merged 2 commits intomasterfrom
update_pearl_to_v0.20.0
Oct 19, 2023
Merged

Update pearl to v0.20.0#848
ikopylov merged 2 commits intomasterfrom
update_pearl_to_v0.20.0

Conversation

@ikopylov
Copy link
Member

No description provided.

@ikopylov ikopylov merged commit 8e8c794 into master Oct 19, 2023
ficusinapot pushed a commit to ficusinapot/bob that referenced this pull request Dec 2, 2023
* Update pearl to v0.20.0

* Update changelog
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