Skip to content
This repository was archived by the owner on Jul 28, 2023. It is now read-only.

fix natives cost in sandbox#237

Merged
mkurnikov merged 1 commit intomasterfrom
natives-cost
Apr 18, 2022
Merged

fix natives cost in sandbox#237
mkurnikov merged 1 commit intomasterfrom
natives-cost

Conversation

@mkurnikov
Copy link
Copy Markdown
Contributor

No description provided.

@borispovod borispovod self-requested a review April 18, 2022 13:48
@mkurnikov mkurnikov merged commit d7a6115 into master Apr 18, 2022
@mkurnikov mkurnikov deleted the natives-cost branch April 18, 2022 13:50
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants